Studying topology on $mathbbQ$ with an example

Clash Royale CLAN TAG#URR8PPP
up vote
1
down vote
favorite
I am studying mathematics on my own and today I am learning topology of rationals.
I want to analyze the topology through some examples.
Let $X=mathbbQ$ be the set of rational numbers and let $d$ be standard Euclidean metric on $mathbbQ$
A very important result:
Restrict a metric, gives same topology as subspace topology from larger space X
Example 1: $A=rinmathbbQ: r^2<2$
Is $A$ closed?
A is closed in $mathbbQ$ as $A=mathbbQcap [-sqrt2,sqrt2]$
Is $A$ open?
$A$ is open in $mathbbQ$ as $A=mathbbQcap(-sqrt2,sqrt2)$
Is $A$ compact and connected?
I am stuck here. I know the definitions but I am not able to proceed.
general-topology
add a comment |Â
up vote
1
down vote
favorite
I am studying mathematics on my own and today I am learning topology of rationals.
I want to analyze the topology through some examples.
Let $X=mathbbQ$ be the set of rational numbers and let $d$ be standard Euclidean metric on $mathbbQ$
A very important result:
Restrict a metric, gives same topology as subspace topology from larger space X
Example 1: $A=rinmathbbQ: r^2<2$
Is $A$ closed?
A is closed in $mathbbQ$ as $A=mathbbQcap [-sqrt2,sqrt2]$
Is $A$ open?
$A$ is open in $mathbbQ$ as $A=mathbbQcap(-sqrt2,sqrt2)$
Is $A$ compact and connected?
I am stuck here. I know the definitions but I am not able to proceed.
general-topology
What are your definitions of compact and connected?
â Arthur
Sep 9 at 7:52
We say a topological space $X$ is connected if if it can be written as the disjoint union of two non empty open sets. A topological space $X$ is connected if for every open cover of $X$ there is a finite sub cover. @Arthur
â StammeringMathematician
Sep 9 at 8:00
I think your definition of "connected" is turned around. That's the definition of a disconnected space.
â Arthur
Sep 9 at 8:06
@Arthur Sorry for the error. You are right.
â StammeringMathematician
Sep 9 at 8:07
2
Q is totally disconnected: only the singeltons are connected subsets
â Math_QED
Sep 9 at 8:22
add a comment |Â
up vote
1
down vote
favorite
up vote
1
down vote
favorite
I am studying mathematics on my own and today I am learning topology of rationals.
I want to analyze the topology through some examples.
Let $X=mathbbQ$ be the set of rational numbers and let $d$ be standard Euclidean metric on $mathbbQ$
A very important result:
Restrict a metric, gives same topology as subspace topology from larger space X
Example 1: $A=rinmathbbQ: r^2<2$
Is $A$ closed?
A is closed in $mathbbQ$ as $A=mathbbQcap [-sqrt2,sqrt2]$
Is $A$ open?
$A$ is open in $mathbbQ$ as $A=mathbbQcap(-sqrt2,sqrt2)$
Is $A$ compact and connected?
I am stuck here. I know the definitions but I am not able to proceed.
general-topology
I am studying mathematics on my own and today I am learning topology of rationals.
I want to analyze the topology through some examples.
Let $X=mathbbQ$ be the set of rational numbers and let $d$ be standard Euclidean metric on $mathbbQ$
A very important result:
Restrict a metric, gives same topology as subspace topology from larger space X
Example 1: $A=rinmathbbQ: r^2<2$
Is $A$ closed?
A is closed in $mathbbQ$ as $A=mathbbQcap [-sqrt2,sqrt2]$
Is $A$ open?
$A$ is open in $mathbbQ$ as $A=mathbbQcap(-sqrt2,sqrt2)$
Is $A$ compact and connected?
I am stuck here. I know the definitions but I am not able to proceed.
general-topology
general-topology
asked Sep 9 at 7:46
StammeringMathematician
89217
89217
What are your definitions of compact and connected?
â Arthur
Sep 9 at 7:52
We say a topological space $X$ is connected if if it can be written as the disjoint union of two non empty open sets. A topological space $X$ is connected if for every open cover of $X$ there is a finite sub cover. @Arthur
â StammeringMathematician
Sep 9 at 8:00
I think your definition of "connected" is turned around. That's the definition of a disconnected space.
â Arthur
Sep 9 at 8:06
@Arthur Sorry for the error. You are right.
â StammeringMathematician
Sep 9 at 8:07
2
Q is totally disconnected: only the singeltons are connected subsets
â Math_QED
Sep 9 at 8:22
add a comment |Â
What are your definitions of compact and connected?
â Arthur
Sep 9 at 7:52
We say a topological space $X$ is connected if if it can be written as the disjoint union of two non empty open sets. A topological space $X$ is connected if for every open cover of $X$ there is a finite sub cover. @Arthur
â StammeringMathematician
Sep 9 at 8:00
I think your definition of "connected" is turned around. That's the definition of a disconnected space.
â Arthur
Sep 9 at 8:06
@Arthur Sorry for the error. You are right.
â StammeringMathematician
Sep 9 at 8:07
2
Q is totally disconnected: only the singeltons are connected subsets
â Math_QED
Sep 9 at 8:22
What are your definitions of compact and connected?
â Arthur
Sep 9 at 7:52
What are your definitions of compact and connected?
â Arthur
Sep 9 at 7:52
We say a topological space $X$ is connected if if it can be written as the disjoint union of two non empty open sets. A topological space $X$ is connected if for every open cover of $X$ there is a finite sub cover. @Arthur
â StammeringMathematician
Sep 9 at 8:00
We say a topological space $X$ is connected if if it can be written as the disjoint union of two non empty open sets. A topological space $X$ is connected if for every open cover of $X$ there is a finite sub cover. @Arthur
â StammeringMathematician
Sep 9 at 8:00
I think your definition of "connected" is turned around. That's the definition of a disconnected space.
â Arthur
Sep 9 at 8:06
I think your definition of "connected" is turned around. That's the definition of a disconnected space.
â Arthur
Sep 9 at 8:06
@Arthur Sorry for the error. You are right.
â StammeringMathematician
Sep 9 at 8:07
@Arthur Sorry for the error. You are right.
â StammeringMathematician
Sep 9 at 8:07
2
2
Q is totally disconnected: only the singeltons are connected subsets
â Math_QED
Sep 9 at 8:22
Q is totally disconnected: only the singeltons are connected subsets
â Math_QED
Sep 9 at 8:22
add a comment |Â
2 Answers
2
active
oldest
votes
up vote
2
down vote
accepted
Setting $A_s=rinmathbb Qmid r^2<s=mathbb Qcap(-sqrt s,sqrt s)$ it is evident that the sets $A_s$ are open for $0<s<2$ and cover $A$.
Can you find a finite subcover?
We have $A=rinmathbb Qmid r^2<frac12cup rinmathbb Qmid frac12<r^2<2$ since $rinmathbb Qmid r^2=frac12=varnothing$.
The sets are open, not empty and disjoint.
add a comment |Â
up vote
2
down vote
Not compact. Consider the open cover
$mathbbQcap(-sqrt2,r)$: r in A
Not connected. Let r be an irrational in $(-sqrt2,sqrt2)$ and consider
$(-sqrt2,r), (r,sqrt2)$ both intersected by Q.
add a comment |Â
2 Answers
2
active
oldest
votes
2 Answers
2
active
oldest
votes
active
oldest
votes
active
oldest
votes
up vote
2
down vote
accepted
Setting $A_s=rinmathbb Qmid r^2<s=mathbb Qcap(-sqrt s,sqrt s)$ it is evident that the sets $A_s$ are open for $0<s<2$ and cover $A$.
Can you find a finite subcover?
We have $A=rinmathbb Qmid r^2<frac12cup rinmathbb Qmid frac12<r^2<2$ since $rinmathbb Qmid r^2=frac12=varnothing$.
The sets are open, not empty and disjoint.
add a comment |Â
up vote
2
down vote
accepted
Setting $A_s=rinmathbb Qmid r^2<s=mathbb Qcap(-sqrt s,sqrt s)$ it is evident that the sets $A_s$ are open for $0<s<2$ and cover $A$.
Can you find a finite subcover?
We have $A=rinmathbb Qmid r^2<frac12cup rinmathbb Qmid frac12<r^2<2$ since $rinmathbb Qmid r^2=frac12=varnothing$.
The sets are open, not empty and disjoint.
add a comment |Â
up vote
2
down vote
accepted
up vote
2
down vote
accepted
Setting $A_s=rinmathbb Qmid r^2<s=mathbb Qcap(-sqrt s,sqrt s)$ it is evident that the sets $A_s$ are open for $0<s<2$ and cover $A$.
Can you find a finite subcover?
We have $A=rinmathbb Qmid r^2<frac12cup rinmathbb Qmid frac12<r^2<2$ since $rinmathbb Qmid r^2=frac12=varnothing$.
The sets are open, not empty and disjoint.
Setting $A_s=rinmathbb Qmid r^2<s=mathbb Qcap(-sqrt s,sqrt s)$ it is evident that the sets $A_s$ are open for $0<s<2$ and cover $A$.
Can you find a finite subcover?
We have $A=rinmathbb Qmid r^2<frac12cup rinmathbb Qmid frac12<r^2<2$ since $rinmathbb Qmid r^2=frac12=varnothing$.
The sets are open, not empty and disjoint.
edited Sep 10 at 9:21
answered Sep 9 at 8:23
drhab
89.3k541123
89.3k541123
add a comment |Â
add a comment |Â
up vote
2
down vote
Not compact. Consider the open cover
$mathbbQcap(-sqrt2,r)$: r in A
Not connected. Let r be an irrational in $(-sqrt2,sqrt2)$ and consider
$(-sqrt2,r), (r,sqrt2)$ both intersected by Q.
add a comment |Â
up vote
2
down vote
Not compact. Consider the open cover
$mathbbQcap(-sqrt2,r)$: r in A
Not connected. Let r be an irrational in $(-sqrt2,sqrt2)$ and consider
$(-sqrt2,r), (r,sqrt2)$ both intersected by Q.
add a comment |Â
up vote
2
down vote
up vote
2
down vote
Not compact. Consider the open cover
$mathbbQcap(-sqrt2,r)$: r in A
Not connected. Let r be an irrational in $(-sqrt2,sqrt2)$ and consider
$(-sqrt2,r), (r,sqrt2)$ both intersected by Q.
Not compact. Consider the open cover
$mathbbQcap(-sqrt2,r)$: r in A
Not connected. Let r be an irrational in $(-sqrt2,sqrt2)$ and consider
$(-sqrt2,r), (r,sqrt2)$ both intersected by Q.
answered Sep 9 at 8:20
William Elliot
5,4212517
5,4212517
add a comment |Â
add a comment |Â
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
StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2910517%2fstudying-topology-on-mathbbq-with-an-example%23new-answer', 'question_page');
);
Post as a guest
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
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
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
What are your definitions of compact and connected?
â Arthur
Sep 9 at 7:52
We say a topological space $X$ is connected if if it can be written as the disjoint union of two non empty open sets. A topological space $X$ is connected if for every open cover of $X$ there is a finite sub cover. @Arthur
â StammeringMathematician
Sep 9 at 8:00
I think your definition of "connected" is turned around. That's the definition of a disconnected space.
â Arthur
Sep 9 at 8:06
@Arthur Sorry for the error. You are right.
â StammeringMathematician
Sep 9 at 8:07
2
Q is totally disconnected: only the singeltons are connected subsets
â Math_QED
Sep 9 at 8:22