Understanding the definition of a base of a metric space The 2019 Stack Overflow Developer Survey Results Are InDefinition of open and closed sets for metric spacesAny collection of subsets of $X$ can serve as a sub-base for a topologyDefinition of compact set/subsetShowing that for equivalent metrics, the separability of one metric space implies the separability of the otherIn a metric space with a countable base, how does every open cover has a countable subcover?Topology. Understanding what a base is intuitivelyA Base of a metric space intuitionExercise 2.23 in Baby RudinCountable base of a compact metric spaceDon't understand well the definition of compactness, or a compact set
Can withdrawing asylum be illegal?
Button changing its text & action. Good or terrible?
How can I define good in a religion that claims no moral authority?
Is it okay to consider publishing in my first year of PhD?
Keeping a retro style to sci-fi spaceships?
Why not take a picture of a closer black hole?
Cooking pasta in a water boiler
Why was M87 targeted for the Event Horizon Telescope instead of Sagittarius A*?
Is it a good practice to use a static variable in a Test Class and use that in the actual class instead of Test.isRunningTest()?
Why can't devices on different VLANs, but on the same subnet, communicate?
Why isn't the circumferential light around the M87 black hole's event horizon symmetric?
How come people say “Would of”?
Why doesn't shell automatically fix "useless use of cat"?
Why does the nucleus not repel itself?
Is Cinnamon a desktop environment or a window manager? (Or both?)
Can a flute soloist sit?
What does もの mean in this sentence?
Does adding complexity mean a more secure cipher?
Pokemon Turn Based battle (Python)
How do PCB vias affect signal quality?
Why couldn't they take pictures of a closer black hole?
How much of the clove should I use when using big garlic heads?
The phrase "to the numbers born"?
If a sorcerer casts the Banishment spell on a PC while in Avernus, does the PC return to their home plane?
Understanding the definition of a base of a metric space
The 2019 Stack Overflow Developer Survey Results Are InDefinition of open and closed sets for metric spacesAny collection of subsets of $X$ can serve as a sub-base for a topologyDefinition of compact set/subsetShowing that for equivalent metrics, the separability of one metric space implies the separability of the otherIn a metric space with a countable base, how does every open cover has a countable subcover?Topology. Understanding what a base is intuitivelyA Base of a metric space intuitionExercise 2.23 in Baby RudinCountable base of a compact metric spaceDon't understand well the definition of compactness, or a compact set
$begingroup$
Definition: Let $(X,d)$ be a metric space.
A collection $v_n$ of subsets is said to be a base for $X$ if for every $x in X$ and every open set $G subset X$, such that $x in G$ we have $x in V_n subset G$ for some $N$.
The notation is what is giving me a hard time here. I just don't understand how it translates into "Every open set in $X$ is the union of a subcollection of $V_n$".
I don't understand how this is the case if that collection is always a subset of $G$, not equal to $G$?
real-analysis definition intuition
$endgroup$
add a comment |
$begingroup$
Definition: Let $(X,d)$ be a metric space.
A collection $v_n$ of subsets is said to be a base for $X$ if for every $x in X$ and every open set $G subset X$, such that $x in G$ we have $x in V_n subset G$ for some $N$.
The notation is what is giving me a hard time here. I just don't understand how it translates into "Every open set in $X$ is the union of a subcollection of $V_n$".
I don't understand how this is the case if that collection is always a subset of $G$, not equal to $G$?
real-analysis definition intuition
$endgroup$
add a comment |
$begingroup$
Definition: Let $(X,d)$ be a metric space.
A collection $v_n$ of subsets is said to be a base for $X$ if for every $x in X$ and every open set $G subset X$, such that $x in G$ we have $x in V_n subset G$ for some $N$.
The notation is what is giving me a hard time here. I just don't understand how it translates into "Every open set in $X$ is the union of a subcollection of $V_n$".
I don't understand how this is the case if that collection is always a subset of $G$, not equal to $G$?
real-analysis definition intuition
$endgroup$
Definition: Let $(X,d)$ be a metric space.
A collection $v_n$ of subsets is said to be a base for $X$ if for every $x in X$ and every open set $G subset X$, such that $x in G$ we have $x in V_n subset G$ for some $N$.
The notation is what is giving me a hard time here. I just don't understand how it translates into "Every open set in $X$ is the union of a subcollection of $V_n$".
I don't understand how this is the case if that collection is always a subset of $G$, not equal to $G$?
real-analysis definition intuition
real-analysis definition intuition
edited Mar 24 at 2:09
Viktor Glombik
1,3522628
1,3522628
asked Oct 23 '14 at 20:34
user186785user186785
212
212
add a comment |
add a comment |
2 Answers
2
active
oldest
votes
$begingroup$
Take an open set $O$, and $xin O$. By definition, there exists $V=V_x$ in your base such that $xin Vsubseteq O$. This means that $O=bigcup x:xin Osubseteq bigcup V_xsubseteq O$; so $O=bigcup V_x$ is a union of open basic sets.
$endgroup$
add a comment |
$begingroup$
"Every open set in X is the union of a subcollection of $V_n$" means that any open set $U$ can be written as
$$U=bigcup V_i,$$
where $V_i$ belong to the base for any $i$. E.g. in $mathbbR$ with Euclidean topology, a base could be
$$B(x,r):x,rin mathbbQ.$$
$endgroup$
add a comment |
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',
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%2f988083%2funderstanding-the-definition-of-a-base-of-a-metric-space%23new-answer', 'question_page');
);
Post as a guest
Required, but never shown
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
Take an open set $O$, and $xin O$. By definition, there exists $V=V_x$ in your base such that $xin Vsubseteq O$. This means that $O=bigcup x:xin Osubseteq bigcup V_xsubseteq O$; so $O=bigcup V_x$ is a union of open basic sets.
$endgroup$
add a comment |
$begingroup$
Take an open set $O$, and $xin O$. By definition, there exists $V=V_x$ in your base such that $xin Vsubseteq O$. This means that $O=bigcup x:xin Osubseteq bigcup V_xsubseteq O$; so $O=bigcup V_x$ is a union of open basic sets.
$endgroup$
add a comment |
$begingroup$
Take an open set $O$, and $xin O$. By definition, there exists $V=V_x$ in your base such that $xin Vsubseteq O$. This means that $O=bigcup x:xin Osubseteq bigcup V_xsubseteq O$; so $O=bigcup V_x$ is a union of open basic sets.
$endgroup$
Take an open set $O$, and $xin O$. By definition, there exists $V=V_x$ in your base such that $xin Vsubseteq O$. This means that $O=bigcup x:xin Osubseteq bigcup V_xsubseteq O$; so $O=bigcup V_x$ is a union of open basic sets.
answered Oct 23 '14 at 20:37
Pedro Tamaroff♦Pedro Tamaroff
97.6k10153299
97.6k10153299
add a comment |
add a comment |
$begingroup$
"Every open set in X is the union of a subcollection of $V_n$" means that any open set $U$ can be written as
$$U=bigcup V_i,$$
where $V_i$ belong to the base for any $i$. E.g. in $mathbbR$ with Euclidean topology, a base could be
$$B(x,r):x,rin mathbbQ.$$
$endgroup$
add a comment |
$begingroup$
"Every open set in X is the union of a subcollection of $V_n$" means that any open set $U$ can be written as
$$U=bigcup V_i,$$
where $V_i$ belong to the base for any $i$. E.g. in $mathbbR$ with Euclidean topology, a base could be
$$B(x,r):x,rin mathbbQ.$$
$endgroup$
add a comment |
$begingroup$
"Every open set in X is the union of a subcollection of $V_n$" means that any open set $U$ can be written as
$$U=bigcup V_i,$$
where $V_i$ belong to the base for any $i$. E.g. in $mathbbR$ with Euclidean topology, a base could be
$$B(x,r):x,rin mathbbQ.$$
$endgroup$
"Every open set in X is the union of a subcollection of $V_n$" means that any open set $U$ can be written as
$$U=bigcup V_i,$$
where $V_i$ belong to the base for any $i$. E.g. in $mathbbR$ with Euclidean topology, a base could be
$$B(x,r):x,rin mathbbQ.$$
answered Oct 23 '14 at 20:37
MillyMilly
2,648612
2,648612
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%2f988083%2funderstanding-the-definition-of-a-base-of-a-metric-space%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