Undergrad R is disconnected with the subspace topology

  • Thread starter Thread starter kent davidge
  • Start date Start date
  • Tags Tags
    Subspace Topology
Click For Summary
SUMMARY

The discussion focuses on proving that the real numbers, denoted as ##\mathbb{R}##, are disconnected when considering the subspace topology derived from the Euclidean topology. Participants debate the validity of using limits to define open sets, with the consensus that the sets proposed do not cover ##\mathbb{R}## adequately. The subspace topology, when applied to ##\mathbb{R}## as a subset of itself, results in the original topology, thus reinforcing the connectedness of ##\mathbb{R}##. The conclusion is that the proposed sets do not satisfy the criteria for open sets in the subspace topology.

PREREQUISITES
  • Understanding of subspace topology and its definitions.
  • Familiarity with Euclidean topology and metrics.
  • Knowledge of open sets in topological spaces.
  • Basic concepts of limits in mathematical analysis.
NEXT STEPS
  • Study the properties of subspace topology in detail.
  • Learn about the Euclidean metric and its implications for topology.
  • Explore the concept of connectedness in topological spaces.
  • Investigate the definitions and examples of open sets in various topologies.
USEFUL FOR

Mathematicians, students of topology, and anyone interested in understanding the properties of real numbers in the context of subspace topology and connectedness.

kent davidge
Messages
931
Reaction score
56
I want to show that ##\mathbb{R}## is disconnected with the subspace topology. For this I considered that ##\mathbb{R} = \lim_{\delta n \longrightarrow 0 } (-\infty, n] \cup [n+\delta n, \infty)## and of course the intersection of these two open sets is empty.

What I'm not sure is about the usage of limit here. Is this ok? I personally think it's ok, because I'm using limit only for saying that ##\delta n > 0## but that ##n+\delta n## should be the closest possible real number of ##n##...
 
Physics news on Phys.org
kent davidge said:
I want to show that ##\mathbb{R}## is disconnected with the subspace topology.
Of what? Where did you find this idea? ##\mathbb{R}## is a straight line, why should it be disconnected?
For this I considered that ##\mathbb{R} = \lim_{\delta n \longrightarrow 0 } (-\infty, n] \cup [n+\delta n, \infty)## and of course the intersection of these two open sets is empty.
And doesn't cover ##\mathbb{R}##, aren't open sets, and should better be something like ##\bigcup_k[n+\frac{1}{k}, \ldots )##
What I'm not sure is about the usage of limit here. Is this ok?
No. It doesn't make sense. You need open sets.
 
fresh_42 said:
Of what? Where did you find this idea?
I mean the subspace topology obtained by the intersection of ##\mathbb{R}## with its own usual euclidean topology. Are'nt sets like those in post #1 open in such topology? And the idea I got by wondering about.
fresh_42 said:
And doesn't cover ##\mathbb{R}##
I thought it did if we consider ##n+ \delta n## as the closest neighboor of ##n##.
 
Or... to give the sets a better look than those in post #1... ##\mathbb{R} = (-\infty,n) \cup [n, \infty)##... intersection is empty...
 
kent davidge said:
I mean the subspace topology obtained by the intersection of ##\mathbb{R}## with its own usual euclidean topology. Are'nt sets like those in post #1 open in such topology? And the idea I got by wondering about.

I thought it did if we consider ##n+ \delta n## as the closest neighboor of ##n##.
I still don't get the point with the subspace. If you consider ##\mathbb{R}## as subspace of itself, why do you use the word subspace then? We can look at it as ##\mathbb{R}\subseteq \mathbb{R}^n\; , \;n\geq 1## and have a subspace topology induced by the one in ##\mathbb{R}^n##. So first we need to define the topology of ##\mathbb{R}^n##. You said the Euclidean topology, so I assume you mean the standard topology induced by the Euclidean metric. In this case, the subspace topology is also just the ordinary topology of ##\mathbb{R}## which comes from the Euclidean metric. Latest here we can forget about the embedding and subspace topologies. Now I would try to prove that ##\mathbb{R}## is connected.
 
kent davidge said:
Or... to give the sets a better look than those in post #1... ##\mathbb{R} = (-\infty,n) \cup [n, \infty)##... intersection is empty...
And ##[n,\infty)## isn't open.
 
Like Pop'n Fresh pointed out a space with a subspace topology generated by its own open sets just returns the original space's topology.
 

Similar threads

  • · Replies 20 ·
Replies
20
Views
3K
  • · Replies 8 ·
Replies
8
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 16 ·
Replies
16
Views
2K
  • · Replies 11 ·
Replies
11
Views
3K
  • · Replies 15 ·
Replies
15
Views
3K
  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K