Apostol's mathematical analysis theorem 1.1

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
1
down vote

favorite












Theorem 1.1. Given real numbers $a$ and $b$ such that $$a leq b + epsilon, text for every epsilon gt 0,text then a leq b tag 1$$
Proof. If $$b lt a,$$ then inequality $(1)$ is violated for $$epsilon = (a-b)/2 $$because

$$b + epsilon = b + (a-b)/2 = (a+b)/2 lt (a+a)/2 = a $$



I understand Theorem, but I didn't understand the proof part.

why $$epsilon = (a-b)/2$$ comes out, and what $$b + epsilon = b + (a-b)/2 = (a+b)/2 lt (a+a)/2 = a$$ stands for?







share|cite|improve this question

















  • 1




    It looks like you're having trouble with the formatting; see this tutorial. Note that you can write mathematics with "inline formatting" as follows: real numbers $a$ and $b$ such that $a leq b$, for every $epsilon > 0$, and so forth
    – Omnomnomnom
    Jul 23 at 23:54










  • @Omnomnomnom Yes, I have to learn it. thanks for the link
    – justin0526
    Jul 23 at 23:57














up vote
1
down vote

favorite












Theorem 1.1. Given real numbers $a$ and $b$ such that $$a leq b + epsilon, text for every epsilon gt 0,text then a leq b tag 1$$
Proof. If $$b lt a,$$ then inequality $(1)$ is violated for $$epsilon = (a-b)/2 $$because

$$b + epsilon = b + (a-b)/2 = (a+b)/2 lt (a+a)/2 = a $$



I understand Theorem, but I didn't understand the proof part.

why $$epsilon = (a-b)/2$$ comes out, and what $$b + epsilon = b + (a-b)/2 = (a+b)/2 lt (a+a)/2 = a$$ stands for?







share|cite|improve this question

















  • 1




    It looks like you're having trouble with the formatting; see this tutorial. Note that you can write mathematics with "inline formatting" as follows: real numbers $a$ and $b$ such that $a leq b$, for every $epsilon > 0$, and so forth
    – Omnomnomnom
    Jul 23 at 23:54










  • @Omnomnomnom Yes, I have to learn it. thanks for the link
    – justin0526
    Jul 23 at 23:57












up vote
1
down vote

favorite









up vote
1
down vote

favorite











Theorem 1.1. Given real numbers $a$ and $b$ such that $$a leq b + epsilon, text for every epsilon gt 0,text then a leq b tag 1$$
Proof. If $$b lt a,$$ then inequality $(1)$ is violated for $$epsilon = (a-b)/2 $$because

$$b + epsilon = b + (a-b)/2 = (a+b)/2 lt (a+a)/2 = a $$



I understand Theorem, but I didn't understand the proof part.

why $$epsilon = (a-b)/2$$ comes out, and what $$b + epsilon = b + (a-b)/2 = (a+b)/2 lt (a+a)/2 = a$$ stands for?







share|cite|improve this question













Theorem 1.1. Given real numbers $a$ and $b$ such that $$a leq b + epsilon, text for every epsilon gt 0,text then a leq b tag 1$$
Proof. If $$b lt a,$$ then inequality $(1)$ is violated for $$epsilon = (a-b)/2 $$because

$$b + epsilon = b + (a-b)/2 = (a+b)/2 lt (a+a)/2 = a $$



I understand Theorem, but I didn't understand the proof part.

why $$epsilon = (a-b)/2$$ comes out, and what $$b + epsilon = b + (a-b)/2 = (a+b)/2 lt (a+a)/2 = a$$ stands for?









share|cite|improve this question












share|cite|improve this question




share|cite|improve this question








edited Jul 24 at 0:14









Bernard

110k635103




110k635103









asked Jul 23 at 23:36









justin0526

62




62







  • 1




    It looks like you're having trouble with the formatting; see this tutorial. Note that you can write mathematics with "inline formatting" as follows: real numbers $a$ and $b$ such that $a leq b$, for every $epsilon > 0$, and so forth
    – Omnomnomnom
    Jul 23 at 23:54










  • @Omnomnomnom Yes, I have to learn it. thanks for the link
    – justin0526
    Jul 23 at 23:57












  • 1




    It looks like you're having trouble with the formatting; see this tutorial. Note that you can write mathematics with "inline formatting" as follows: real numbers $a$ and $b$ such that $a leq b$, for every $epsilon > 0$, and so forth
    – Omnomnomnom
    Jul 23 at 23:54










  • @Omnomnomnom Yes, I have to learn it. thanks for the link
    – justin0526
    Jul 23 at 23:57







1




1




It looks like you're having trouble with the formatting; see this tutorial. Note that you can write mathematics with "inline formatting" as follows: real numbers $a$ and $b$ such that $a leq b$, for every $epsilon > 0$, and so forth
– Omnomnomnom
Jul 23 at 23:54




It looks like you're having trouble with the formatting; see this tutorial. Note that you can write mathematics with "inline formatting" as follows: real numbers $a$ and $b$ such that $a leq b$, for every $epsilon > 0$, and so forth
– Omnomnomnom
Jul 23 at 23:54












@Omnomnomnom Yes, I have to learn it. thanks for the link
– justin0526
Jul 23 at 23:57




@Omnomnomnom Yes, I have to learn it. thanks for the link
– justin0526
Jul 23 at 23:57










1 Answer
1






active

oldest

votes

















up vote
1
down vote













The line
$$
b + epsilon = b + (a-b)/2 = (a+b)/2 lt (a+a)/2 = a
$$
stands for a proof of $b+epsilon < a$, done in several steps:
$$
b + epsilon = b + (a-b)/2,
\
b + (a-b)/2 = (a+b)/2
\
(a+b)/2 lt (a+a)/2
\
(a+a)/2 = a
$$



added

Why $epsilon = (a-b)/2$?



In fact, we see in the statement of the theorem, that any positive number could be used for $epsilon$. This particular choice for $epsilon$ was made because the calculation (see above) is simple for it.






share|cite|improve this answer























  • It is reasonable, but why ϵ=(a−b)/2 comes? I think that confuses me
    – justin0526
    Jul 24 at 0:06










  • Picking the right constants to use in proofs like this is an art; it is not obvious at first but the more you practice the easier it gets.
    – dbx
    Jul 24 at 3:36










Your Answer




StackExchange.ifUsing("editor", function ()
return StackExchange.using("mathjaxEditing", function ()
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix)
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
);
);
, "mathjax-editing");

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',
convertImagesToLinks: true,
noModals: false,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
);



);








 

draft saved


draft discarded


















StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2860871%2fapostols-mathematical-analysis-theorem-1-1%23new-answer', 'question_page');

);

Post as a guest






























1 Answer
1






active

oldest

votes








1 Answer
1






active

oldest

votes









active

oldest

votes






active

oldest

votes








up vote
1
down vote













The line
$$
b + epsilon = b + (a-b)/2 = (a+b)/2 lt (a+a)/2 = a
$$
stands for a proof of $b+epsilon < a$, done in several steps:
$$
b + epsilon = b + (a-b)/2,
\
b + (a-b)/2 = (a+b)/2
\
(a+b)/2 lt (a+a)/2
\
(a+a)/2 = a
$$



added

Why $epsilon = (a-b)/2$?



In fact, we see in the statement of the theorem, that any positive number could be used for $epsilon$. This particular choice for $epsilon$ was made because the calculation (see above) is simple for it.






share|cite|improve this answer























  • It is reasonable, but why ϵ=(a−b)/2 comes? I think that confuses me
    – justin0526
    Jul 24 at 0:06










  • Picking the right constants to use in proofs like this is an art; it is not obvious at first but the more you practice the easier it gets.
    – dbx
    Jul 24 at 3:36














up vote
1
down vote













The line
$$
b + epsilon = b + (a-b)/2 = (a+b)/2 lt (a+a)/2 = a
$$
stands for a proof of $b+epsilon < a$, done in several steps:
$$
b + epsilon = b + (a-b)/2,
\
b + (a-b)/2 = (a+b)/2
\
(a+b)/2 lt (a+a)/2
\
(a+a)/2 = a
$$



added

Why $epsilon = (a-b)/2$?



In fact, we see in the statement of the theorem, that any positive number could be used for $epsilon$. This particular choice for $epsilon$ was made because the calculation (see above) is simple for it.






share|cite|improve this answer























  • It is reasonable, but why ϵ=(a−b)/2 comes? I think that confuses me
    – justin0526
    Jul 24 at 0:06










  • Picking the right constants to use in proofs like this is an art; it is not obvious at first but the more you practice the easier it gets.
    – dbx
    Jul 24 at 3:36












up vote
1
down vote










up vote
1
down vote









The line
$$
b + epsilon = b + (a-b)/2 = (a+b)/2 lt (a+a)/2 = a
$$
stands for a proof of $b+epsilon < a$, done in several steps:
$$
b + epsilon = b + (a-b)/2,
\
b + (a-b)/2 = (a+b)/2
\
(a+b)/2 lt (a+a)/2
\
(a+a)/2 = a
$$



added

Why $epsilon = (a-b)/2$?



In fact, we see in the statement of the theorem, that any positive number could be used for $epsilon$. This particular choice for $epsilon$ was made because the calculation (see above) is simple for it.






share|cite|improve this answer















The line
$$
b + epsilon = b + (a-b)/2 = (a+b)/2 lt (a+a)/2 = a
$$
stands for a proof of $b+epsilon < a$, done in several steps:
$$
b + epsilon = b + (a-b)/2,
\
b + (a-b)/2 = (a+b)/2
\
(a+b)/2 lt (a+a)/2
\
(a+a)/2 = a
$$



added

Why $epsilon = (a-b)/2$?



In fact, we see in the statement of the theorem, that any positive number could be used for $epsilon$. This particular choice for $epsilon$ was made because the calculation (see above) is simple for it.







share|cite|improve this answer















share|cite|improve this answer



share|cite|improve this answer








edited Jul 24 at 0:20


























answered Jul 23 at 23:55









GEdgar

58.4k264163




58.4k264163











  • It is reasonable, but why ϵ=(a−b)/2 comes? I think that confuses me
    – justin0526
    Jul 24 at 0:06










  • Picking the right constants to use in proofs like this is an art; it is not obvious at first but the more you practice the easier it gets.
    – dbx
    Jul 24 at 3:36
















  • It is reasonable, but why ϵ=(a−b)/2 comes? I think that confuses me
    – justin0526
    Jul 24 at 0:06










  • Picking the right constants to use in proofs like this is an art; it is not obvious at first but the more you practice the easier it gets.
    – dbx
    Jul 24 at 3:36















It is reasonable, but why ϵ=(a−b)/2 comes? I think that confuses me
– justin0526
Jul 24 at 0:06




It is reasonable, but why ϵ=(a−b)/2 comes? I think that confuses me
– justin0526
Jul 24 at 0:06












Picking the right constants to use in proofs like this is an art; it is not obvious at first but the more you practice the easier it gets.
– dbx
Jul 24 at 3:36




Picking the right constants to use in proofs like this is an art; it is not obvious at first but the more you practice the easier it gets.
– dbx
Jul 24 at 3:36












 

draft saved


draft discarded


























 


draft saved


draft discarded














StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2860871%2fapostols-mathematical-analysis-theorem-1-1%23new-answer', 'question_page');

);

Post as a guest













































































Comments

Popular posts from this blog

What is the equation of a 3D cone with generalised tilt?

Relationship between determinant of matrix and determinant of adjoint?

Color the edges and diagonals of a regular polygon