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

Discussion Overview

The discussion revolves around the challenges of understanding the subspace topology on real projective space, specifically RP^2. Participants explore the implications of defining open sets in this context, particularly in relation to neighborhoods in R^3 and the nature of lines through the origin.

Discussion Character

  • Conceptual clarification
  • Debate/contested
  • Mathematical reasoning

Main Points Raised

  • One participant expresses confusion about how to apply the subspace topology to RP^2, noting that the intersection of a subset S with an open subset of R^3 leads to the indiscrete topology due to the inability to form open balls around the origin.
  • Another participant states that any neighborhood of zero in R^3 contains points from every line through the origin, which complicates the topology around zero.
  • A question is raised about the nature of neighborhoods for points in RP^n that are not zero, and how these neighborhoods behave when considering subsets of RP^n.
  • It is noted that in projective space, lines through the origin are topologized by their intersections with the unit sphere, and a point in projective space corresponds to a line rather than a point on that line.
  • One participant suggests that the proper approach to defining the topology on RP^n is to consider the unit sphere in R^(n+1) and relate open sets in that context to the lines through points in R^(n+1).

Areas of Agreement / Disagreement

Participants express differing views on the nature of neighborhoods in RP^2 and the implications for the topology. There is no consensus on the best way to understand the subspace topology in this context, and multiple competing perspectives are presented.

Contextual Notes

The discussion highlights limitations in understanding the topology due to the dependence on definitions of neighborhoods and the behavior of open sets in the context of projective space.

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
4K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 7 ·
Replies
7
Views
6K
  • · Replies 7 ·
Replies
7
Views
4K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 8 ·
Replies
8
Views
3K
  • · Replies 17 ·
Replies
17
Views
5K
  • · Replies 61 ·
3
Replies
61
Views
7K