Partition?! On a step function Announcing the arrival of Valued Associate #679: Cesar Manara Planned maintenance scheduled April 17/18, 2019 at 00:00UTC (8:00pm US/Eastern)Is the space of uniformly left continuous functions on [0,1] complete?Partial derivative of a summation.Am I on the right track? Any hints on what to do next?Is there alternate definitions of an integral based on values of function on open or closed interval ?Taylor series and integrationUnderstanding the role of Partitioning in Riemann SumsRiemann and Darboux Integral of a product of two functionsProve a function is not Darboux-integrableEquivalent definition of the variation of the function on $[a,b]$How to prove that the limit of an upper sum equals the integral of a function with these limited definitions?
Why use gamma over alpha radiation?
The following signatures were invalid: EXPKEYSIG 1397BC53640DB551
What's the point in a preamp?
Can I add database to AWS RDS MySQL without creating new instance?
Unexpected result with right shift after bitwise negation
Antler Helmet: Can it work?
Fishing simulator
Stopping real property loss from eroding embankment
How do you clear the ApexPages.getMessages() collection in a test?
Can I throw a longsword at someone?
Cold is to Refrigerator as warm is to?
Unable to start mainnet node docker container
Jazz greats knew nothing of modes. Why are they used to improvise on standards?
Can a zero nonce be safely used with AES-GCM if the key is random and never used again?
Direct Experience of Meditation
What was the last x86 CPU that did not have the x87 floating-point unit built in?
Complexity of many constant time steps with occasional logarithmic steps
Estimate capacitor parameters
Passing functions in C++
What items from the Roman-age tech-level could be used to deter all creatures from entering a small area?
Why does tar appear to skip file contents when output file is /dev/null?
Can smartphones with the same camera sensor have different image quality?
How do I automatically answer y in bash script?
What LEGO pieces have "real-world" functionality?
Partition?! On a step function
Announcing the arrival of Valued Associate #679: Cesar Manara
Planned maintenance scheduled April 17/18, 2019 at 00:00UTC (8:00pm US/Eastern)Is the space of uniformly left continuous functions on [0,1] complete?Partial derivative of a summation.Am I on the right track? Any hints on what to do next?Is there alternate definitions of an integral based on values of function on open or closed interval ?Taylor series and integrationUnderstanding the role of Partitioning in Riemann SumsRiemann and Darboux Integral of a product of two functionsProve a function is not Darboux-integrableEquivalent definition of the variation of the function on $[a,b]$How to prove that the limit of an upper sum equals the integral of a function with these limited definitions?
$begingroup$
Let $s,r:[a,b]to mathbb R$ be step functions. Prove that there exists a partition $a=t_0<t_1<ldots<t_N=b$ such that $s$ and $r$ are both constant on $(t_i-1,t_i)$ for each $iin1,ldots,N$.
Yeah I have no idea could use a mini lesson explaining.
calculus
$endgroup$
add a comment |
$begingroup$
Let $s,r:[a,b]to mathbb R$ be step functions. Prove that there exists a partition $a=t_0<t_1<ldots<t_N=b$ such that $s$ and $r$ are both constant on $(t_i-1,t_i)$ for each $iin1,ldots,N$.
Yeah I have no idea could use a mini lesson explaining.
calculus
$endgroup$
1
$begingroup$
Do some drawing.
$endgroup$
– Phicar
Apr 8 at 20:25
add a comment |
$begingroup$
Let $s,r:[a,b]to mathbb R$ be step functions. Prove that there exists a partition $a=t_0<t_1<ldots<t_N=b$ such that $s$ and $r$ are both constant on $(t_i-1,t_i)$ for each $iin1,ldots,N$.
Yeah I have no idea could use a mini lesson explaining.
calculus
$endgroup$
Let $s,r:[a,b]to mathbb R$ be step functions. Prove that there exists a partition $a=t_0<t_1<ldots<t_N=b$ such that $s$ and $r$ are both constant on $(t_i-1,t_i)$ for each $iin1,ldots,N$.
Yeah I have no idea could use a mini lesson explaining.
calculus
calculus
asked Apr 8 at 20:24
DoubleliftDoublelift
305
305
1
$begingroup$
Do some drawing.
$endgroup$
– Phicar
Apr 8 at 20:25
add a comment |
1
$begingroup$
Do some drawing.
$endgroup$
– Phicar
Apr 8 at 20:25
1
1
$begingroup$
Do some drawing.
$endgroup$
– Phicar
Apr 8 at 20:25
$begingroup$
Do some drawing.
$endgroup$
– Phicar
Apr 8 at 20:25
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
Let's note 2 things about step functions:
(1) By definition the step function is peicewise constant. So each step function already has a "natural" partition $a=x_0 < x_1 < ... < x_N = b$ for which it is constant on $(x_i , x_i+1)$
(2) If we add any points to the natural partition of a step function, say we added the point $y$ to the above partition: $a = x_0 < ... < x_i < y < x_i+1 < ... < x_M = b $. Then the step function is still constant on every $(x_i , x_i+1)$. Namely it is constant on $(x_i , y)$ and $(y, x_i+1)$.
So now to answer your question. Take the natural partition on which $s$ is defined, and add to it all points of the natural partition on which $r$ is defined. Denote the combined partition by $t_0 , ... , t_N$. Then $s$ is still constant on $(t_i , t_i+1)$ by point (2).
Similarly, take the natural partition on which $r$ is defined, and add to it all points of the natural partition on which $s$ is defined. Denote the combined partition by $t_0 , ... , t_N$ (it is the same one as the previous paragraph). Then $r$ is still constant on $(t_i , t_i+1)$ by point (2).
This proves the result, since $t_0 , ... , t_N$ works for both $s$ and $r$
$endgroup$
add a comment |
Your Answer
StackExchange.ready(function()
var channelOptions =
tags: "".split(" "),
id: "69"
;
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function()
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled)
StackExchange.using("snippets", function()
createEditor();
);
else
createEditor();
);
function createEditor()
StackExchange.prepareEditor(
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader:
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
,
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
);
);
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3180160%2fpartition-on-a-step-function%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
Let's note 2 things about step functions:
(1) By definition the step function is peicewise constant. So each step function already has a "natural" partition $a=x_0 < x_1 < ... < x_N = b$ for which it is constant on $(x_i , x_i+1)$
(2) If we add any points to the natural partition of a step function, say we added the point $y$ to the above partition: $a = x_0 < ... < x_i < y < x_i+1 < ... < x_M = b $. Then the step function is still constant on every $(x_i , x_i+1)$. Namely it is constant on $(x_i , y)$ and $(y, x_i+1)$.
So now to answer your question. Take the natural partition on which $s$ is defined, and add to it all points of the natural partition on which $r$ is defined. Denote the combined partition by $t_0 , ... , t_N$. Then $s$ is still constant on $(t_i , t_i+1)$ by point (2).
Similarly, take the natural partition on which $r$ is defined, and add to it all points of the natural partition on which $s$ is defined. Denote the combined partition by $t_0 , ... , t_N$ (it is the same one as the previous paragraph). Then $r$ is still constant on $(t_i , t_i+1)$ by point (2).
This proves the result, since $t_0 , ... , t_N$ works for both $s$ and $r$
$endgroup$
add a comment |
$begingroup$
Let's note 2 things about step functions:
(1) By definition the step function is peicewise constant. So each step function already has a "natural" partition $a=x_0 < x_1 < ... < x_N = b$ for which it is constant on $(x_i , x_i+1)$
(2) If we add any points to the natural partition of a step function, say we added the point $y$ to the above partition: $a = x_0 < ... < x_i < y < x_i+1 < ... < x_M = b $. Then the step function is still constant on every $(x_i , x_i+1)$. Namely it is constant on $(x_i , y)$ and $(y, x_i+1)$.
So now to answer your question. Take the natural partition on which $s$ is defined, and add to it all points of the natural partition on which $r$ is defined. Denote the combined partition by $t_0 , ... , t_N$. Then $s$ is still constant on $(t_i , t_i+1)$ by point (2).
Similarly, take the natural partition on which $r$ is defined, and add to it all points of the natural partition on which $s$ is defined. Denote the combined partition by $t_0 , ... , t_N$ (it is the same one as the previous paragraph). Then $r$ is still constant on $(t_i , t_i+1)$ by point (2).
This proves the result, since $t_0 , ... , t_N$ works for both $s$ and $r$
$endgroup$
add a comment |
$begingroup$
Let's note 2 things about step functions:
(1) By definition the step function is peicewise constant. So each step function already has a "natural" partition $a=x_0 < x_1 < ... < x_N = b$ for which it is constant on $(x_i , x_i+1)$
(2) If we add any points to the natural partition of a step function, say we added the point $y$ to the above partition: $a = x_0 < ... < x_i < y < x_i+1 < ... < x_M = b $. Then the step function is still constant on every $(x_i , x_i+1)$. Namely it is constant on $(x_i , y)$ and $(y, x_i+1)$.
So now to answer your question. Take the natural partition on which $s$ is defined, and add to it all points of the natural partition on which $r$ is defined. Denote the combined partition by $t_0 , ... , t_N$. Then $s$ is still constant on $(t_i , t_i+1)$ by point (2).
Similarly, take the natural partition on which $r$ is defined, and add to it all points of the natural partition on which $s$ is defined. Denote the combined partition by $t_0 , ... , t_N$ (it is the same one as the previous paragraph). Then $r$ is still constant on $(t_i , t_i+1)$ by point (2).
This proves the result, since $t_0 , ... , t_N$ works for both $s$ and $r$
$endgroup$
Let's note 2 things about step functions:
(1) By definition the step function is peicewise constant. So each step function already has a "natural" partition $a=x_0 < x_1 < ... < x_N = b$ for which it is constant on $(x_i , x_i+1)$
(2) If we add any points to the natural partition of a step function, say we added the point $y$ to the above partition: $a = x_0 < ... < x_i < y < x_i+1 < ... < x_M = b $. Then the step function is still constant on every $(x_i , x_i+1)$. Namely it is constant on $(x_i , y)$ and $(y, x_i+1)$.
So now to answer your question. Take the natural partition on which $s$ is defined, and add to it all points of the natural partition on which $r$ is defined. Denote the combined partition by $t_0 , ... , t_N$. Then $s$ is still constant on $(t_i , t_i+1)$ by point (2).
Similarly, take the natural partition on which $r$ is defined, and add to it all points of the natural partition on which $s$ is defined. Denote the combined partition by $t_0 , ... , t_N$ (it is the same one as the previous paragraph). Then $r$ is still constant on $(t_i , t_i+1)$ by point (2).
This proves the result, since $t_0 , ... , t_N$ works for both $s$ and $r$
answered Apr 9 at 13:04
NazimJNazimJ
880110
880110
add a comment |
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3180160%2fpartition-on-a-step-function%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function ()
StackExchange.helpers.onClickDraftSave('#login-link');
);
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
1
$begingroup$
Do some drawing.
$endgroup$
– Phicar
Apr 8 at 20:25