Why is the subspace topology on RP^n difficult to grasp?

  • Context: Graduate 
  • Thread starter Thread starter homomorphism
  • Start date Start date
  • Tags Tags
    Space Topological
Click For Summary
SUMMARY

The discussion focuses on the challenges of understanding the subspace topology on real projective space, specifically RP^2. It explains that RP^2 is defined as the set of all lines through the origin in R^3 and that the subspace topology can only yield the indiscrete topology due to the nature of neighborhoods around the origin. The key point is that any neighborhood of zero in R^3 intersects every line through the origin, complicating the definition of open sets. The correct approach to defining the topology on RP^n involves using the unit sphere in R^(n+1) and matching open sets with lines through points in R^(n+1).

PREREQUISITES
  • Understanding of projective geometry and real projective space (RP^n)
  • Familiarity with topological concepts, particularly subspace topology
  • Knowledge of neighborhoods and open sets in Euclidean spaces
  • Basic understanding of quotient topologies
NEXT STEPS
  • Study the definition and properties of projective spaces, focusing on RP^n
  • Learn about the unit sphere in R^(n+1) and its role in topology
  • Explore the concept of quotient topology and its applications in topology
  • Investigate the relationship between open sets in R^n and their projections in projective spaces
USEFUL FOR

Mathematicians, students of topology, and anyone studying projective geometry who seeks to deepen their understanding of subspace topologies in real projective spaces.

homomorphism
Messages
19
Reaction score
0
so first let's take RP^2. I have a little trouble grasping why we can put a subspace topology on it. So RP^2 is the set of all lines through the origin in R^3. So if we take some subset S of RP^2 and the if set of points in R^3 which is the union of these lines in S is open then we can say we take the intersection of S and the open subset of R^3 and get a subspace topology. However, apparently you can only get the indiscrete topology? the reason i read for this was because the union would contain 0 but you can't have an open ball around 0. Let's say you take a single line as your subset S. you can't put an open ball around any of the points right? you won't necessarily have some delta in the x, y, z directions? how come the argument says you can't put an open ball around 0, but you can put it around the other points?
@_@
 
Physics news on Phys.org
The basic reason is that any neighborhood of zero contains a point on every line through the origin.
 
so if we take some point P which is not 0, what would P's neighborhood consist of? and what would happen to the neighborhood when we take subsets of RP^n
 
In the definition of projective space the lines through the origin are topologized by the set that they determine when intersecting the sphere. A set of lines is open if its intersection with the sphere is open in the sphere.

A point in projective space is a line. A point on this line is not a point of projective space. Zero is not a point nor is any other point on the line.
 
The "correct" way to modify the quotient topology to work on RPn is to look at the unit sphere of Rn+1 and take the open sets on that, and match them with the sets of lines passing through the points of the open sets in Rn+1. This is the topology you're looking for in RPn
 

Similar threads

  • · Replies 29 ·
Replies
29
Views
3K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 2 ·
Replies
2
Views
635
  • · Replies 7 ·
Replies
7
Views
5K
  • · Replies 7 ·
Replies
7
Views
4K
  • · Replies 4 ·
Replies
4
Views
1K
  • · Replies 11 ·
Replies
11
Views
1K
  • · Replies 8 ·
Replies
8
Views
3K
  • · Replies 17 ·
Replies
17
Views
5K
  • · Replies 15 ·
Replies
15
Views
3K