Why is infinite intersection “towards infinity” an empty set?Questions regarding the Proof of Egorov's Theorem (Carothers)Stable set by intersection and by finite unionExample of decreasing sequence of sets with first set having infinite measureEventually in a set, meaning?Infinite Union/Intersection vs Infinite summationinfinite set don't contain sigma algebra that have more than one countable complementCan the interior of the intersection of a closed and an open set be empty if the intersection is non-empty?Why is an uncountable union of null sets not necessarily a null set?Complex measure of empty set.
How is the phase of 120V AC established in a North American home?
Furthest distance half the diameter?
Are fast interviews red flags?
I won a car in a poker game. How is that taxed in Canada?
PWM on 5V GPIO pin
is it possible to change a material depending on whether it is intersecting with another object?
What is the purpose of the rotating plate in front of the lock?
Why can't some airports handle heavy aircraft while others do it easily (same runway length)?
Why would an AC motor heavily shake when driven with certain frequencies?
Is this ram compatible with iMac 27"?
Bacteria vats to generate edible biomass, require intermediary species?
Should I tip on the Amtrak train?
Complex conjugate and transpose "with respect to a basis"
Is future tense in English really a myth?
How do you say "to hell with everything" in French?
Features seen on the Space Shuttle's solid booster; what does "LOADED" mean exactly?
Friend is very nitpicky about side comments I don't intend to be taken too seriously
When calculating averages, why can we treat exploding die as if they're independent?
What is the delta-v required to get a mass in Earth orbit into the sun using a SINGLE transfer?
More than three domains hosted on the same IP address
Why are UK MPs allowed to abstain (but it counts as a no)?
Is mountain bike good for long distances?
What exactly is Apple Cider
Does the word voltage exist in academic engineering?
Why is infinite intersection “towards infinity” an empty set?
Questions regarding the Proof of Egorov's Theorem (Carothers)Stable set by intersection and by finite unionExample of decreasing sequence of sets with first set having infinite measureEventually in a set, meaning?Infinite Union/Intersection vs Infinite summationinfinite set don't contain sigma algebra that have more than one countable complementCan the interior of the intersection of a closed and an open set be empty if the intersection is non-empty?Why is an uncountable union of null sets not necessarily a null set?Complex measure of empty set.
.everyoneloves__top-leaderboard:empty,.everyoneloves__mid-leaderboard:empty,.everyoneloves__bot-mid-leaderboard:empty margin-bottom:0;
$begingroup$
Why is infinite intersection "towards infinity" an empty set?
Or i.e.
Why is:
$$cap_i=1^infty F_n = emptyset$$
$$F_n=[n, infty)$$
There's intuition, the intersection is always the "smallest of the sets" so eventually it will be $(infty,infty)$ or something like that.
measure-theory
$endgroup$
add a comment |
$begingroup$
Why is infinite intersection "towards infinity" an empty set?
Or i.e.
Why is:
$$cap_i=1^infty F_n = emptyset$$
$$F_n=[n, infty)$$
There's intuition, the intersection is always the "smallest of the sets" so eventually it will be $(infty,infty)$ or something like that.
measure-theory
$endgroup$
add a comment |
$begingroup$
Why is infinite intersection "towards infinity" an empty set?
Or i.e.
Why is:
$$cap_i=1^infty F_n = emptyset$$
$$F_n=[n, infty)$$
There's intuition, the intersection is always the "smallest of the sets" so eventually it will be $(infty,infty)$ or something like that.
measure-theory
$endgroup$
Why is infinite intersection "towards infinity" an empty set?
Or i.e.
Why is:
$$cap_i=1^infty F_n = emptyset$$
$$F_n=[n, infty)$$
There's intuition, the intersection is always the "smallest of the sets" so eventually it will be $(infty,infty)$ or something like that.
measure-theory
measure-theory
asked 8 hours ago
mavaviljmavavilj
2,9631 gold badge13 silver badges43 bronze badges
2,9631 gold badge13 silver badges43 bronze badges
add a comment |
add a comment |
4 Answers
4
active
oldest
votes
$begingroup$
The intersection is made up of real numbers which are greater than or equal to every positive integer. By Archimedes' property, there's none.
$endgroup$
add a comment |
$begingroup$
To belong in the intersection, any element would have to belong in each of the sets $[n,infty)$ which means it must be larger than every finite number. Since there is no finite number with this property, the intersection is therefore empty.
$endgroup$
add a comment |
$begingroup$
Suppose, to obtain a contradiction, that $F=cap_n F_n$ is non-empty. Let $x in F$. Then, $xge n$ for all $n in mathbb N$. However, there is no largest real number, so we must conclude that $F = emptyset$.
$endgroup$
add a comment |
$begingroup$
It might be a little easier to understand via the contrapositive:
Let $x$ be any real number. Then we know that there exists a positive integer $n_x$ larger than $x$. (This is the so-called Archimedean property of the reals, but intuitively you can think of $n_x$ just being $x$ rounded up to the next integer, or if $x$ is negative you can just let $n_x$ be $1$.) That means $x$ is not in the set $F_n_x$, so it certainly cannot be in the intersection $bigcap_n F_n$. This is true no matter what $x$ is, so $bigcap_n F_n$ cannot contain any real numbers at all, which is to say it equals the empty set.
$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/4.0/"u003ecc by-sa 4.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%2f3347553%2fwhy-is-infinite-intersection-towards-infinity-an-empty-set%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
4 Answers
4
active
oldest
votes
4 Answers
4
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
The intersection is made up of real numbers which are greater than or equal to every positive integer. By Archimedes' property, there's none.
$endgroup$
add a comment |
$begingroup$
The intersection is made up of real numbers which are greater than or equal to every positive integer. By Archimedes' property, there's none.
$endgroup$
add a comment |
$begingroup$
The intersection is made up of real numbers which are greater than or equal to every positive integer. By Archimedes' property, there's none.
$endgroup$
The intersection is made up of real numbers which are greater than or equal to every positive integer. By Archimedes' property, there's none.
answered 8 hours ago
BernardBernard
133k7 gold badges43 silver badges126 bronze badges
133k7 gold badges43 silver badges126 bronze badges
add a comment |
add a comment |
$begingroup$
To belong in the intersection, any element would have to belong in each of the sets $[n,infty)$ which means it must be larger than every finite number. Since there is no finite number with this property, the intersection is therefore empty.
$endgroup$
add a comment |
$begingroup$
To belong in the intersection, any element would have to belong in each of the sets $[n,infty)$ which means it must be larger than every finite number. Since there is no finite number with this property, the intersection is therefore empty.
$endgroup$
add a comment |
$begingroup$
To belong in the intersection, any element would have to belong in each of the sets $[n,infty)$ which means it must be larger than every finite number. Since there is no finite number with this property, the intersection is therefore empty.
$endgroup$
To belong in the intersection, any element would have to belong in each of the sets $[n,infty)$ which means it must be larger than every finite number. Since there is no finite number with this property, the intersection is therefore empty.
answered 8 hours ago
pre-kidneypre-kidney
18.3k22 silver badges59 bronze badges
18.3k22 silver badges59 bronze badges
add a comment |
add a comment |
$begingroup$
Suppose, to obtain a contradiction, that $F=cap_n F_n$ is non-empty. Let $x in F$. Then, $xge n$ for all $n in mathbb N$. However, there is no largest real number, so we must conclude that $F = emptyset$.
$endgroup$
add a comment |
$begingroup$
Suppose, to obtain a contradiction, that $F=cap_n F_n$ is non-empty. Let $x in F$. Then, $xge n$ for all $n in mathbb N$. However, there is no largest real number, so we must conclude that $F = emptyset$.
$endgroup$
add a comment |
$begingroup$
Suppose, to obtain a contradiction, that $F=cap_n F_n$ is non-empty. Let $x in F$. Then, $xge n$ for all $n in mathbb N$. However, there is no largest real number, so we must conclude that $F = emptyset$.
$endgroup$
Suppose, to obtain a contradiction, that $F=cap_n F_n$ is non-empty. Let $x in F$. Then, $xge n$ for all $n in mathbb N$. However, there is no largest real number, so we must conclude that $F = emptyset$.
edited 8 hours ago
answered 8 hours ago
Theoretical EconomistTheoretical Economist
3,9832 gold badges8 silver badges31 bronze badges
3,9832 gold badges8 silver badges31 bronze badges
add a comment |
add a comment |
$begingroup$
It might be a little easier to understand via the contrapositive:
Let $x$ be any real number. Then we know that there exists a positive integer $n_x$ larger than $x$. (This is the so-called Archimedean property of the reals, but intuitively you can think of $n_x$ just being $x$ rounded up to the next integer, or if $x$ is negative you can just let $n_x$ be $1$.) That means $x$ is not in the set $F_n_x$, so it certainly cannot be in the intersection $bigcap_n F_n$. This is true no matter what $x$ is, so $bigcap_n F_n$ cannot contain any real numbers at all, which is to say it equals the empty set.
$endgroup$
add a comment |
$begingroup$
It might be a little easier to understand via the contrapositive:
Let $x$ be any real number. Then we know that there exists a positive integer $n_x$ larger than $x$. (This is the so-called Archimedean property of the reals, but intuitively you can think of $n_x$ just being $x$ rounded up to the next integer, or if $x$ is negative you can just let $n_x$ be $1$.) That means $x$ is not in the set $F_n_x$, so it certainly cannot be in the intersection $bigcap_n F_n$. This is true no matter what $x$ is, so $bigcap_n F_n$ cannot contain any real numbers at all, which is to say it equals the empty set.
$endgroup$
add a comment |
$begingroup$
It might be a little easier to understand via the contrapositive:
Let $x$ be any real number. Then we know that there exists a positive integer $n_x$ larger than $x$. (This is the so-called Archimedean property of the reals, but intuitively you can think of $n_x$ just being $x$ rounded up to the next integer, or if $x$ is negative you can just let $n_x$ be $1$.) That means $x$ is not in the set $F_n_x$, so it certainly cannot be in the intersection $bigcap_n F_n$. This is true no matter what $x$ is, so $bigcap_n F_n$ cannot contain any real numbers at all, which is to say it equals the empty set.
$endgroup$
It might be a little easier to understand via the contrapositive:
Let $x$ be any real number. Then we know that there exists a positive integer $n_x$ larger than $x$. (This is the so-called Archimedean property of the reals, but intuitively you can think of $n_x$ just being $x$ rounded up to the next integer, or if $x$ is negative you can just let $n_x$ be $1$.) That means $x$ is not in the set $F_n_x$, so it certainly cannot be in the intersection $bigcap_n F_n$. This is true no matter what $x$ is, so $bigcap_n F_n$ cannot contain any real numbers at all, which is to say it equals the empty set.
answered 8 hours ago
Nate EldredgeNate Eldredge
68.2k10 gold badges87 silver badges183 bronze badges
68.2k10 gold badges87 silver badges183 bronze badges
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%2f3347553%2fwhy-is-infinite-intersection-towards-infinity-an-empty-set%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