Constructing Onto & Continuous Function from D^{2n} to \mathbb{C}P^n

  • Context: Graduate 
  • Thread starter Thread starter MathematicalPhysicist
  • Start date Start date
Click For Summary

Discussion Overview

The discussion centers on constructing an onto and continuous function from the disk \( D^{2n} \) to the complex projective space \( \mathbb{C}P^n \), with the requirement that the function is one-to-one on the interior of \( D^{2n} \). Participants explore various mapping strategies and the underlying topological properties of the spaces involved.

Discussion Character

  • Exploratory
  • Technical explanation
  • Conceptual clarification
  • Debate/contested

Main Points Raised

  • One participant suggests mapping the line joining two antipodal points on the boundary of \( D^{2n} \) but questions whether this is the correct approach.
  • Another participant proposes a specific mapping for the case of the 2-sphere (CP1), indicating that the boundary of the disk should map to the south pole and encourages generalization of this idea.
  • A participant expresses confusion regarding how the proposed mappings cover \( CP^n \) and questions the relationship between \( D^{2n} \) and \( CP^n \).
  • Another participant clarifies that \( CP^n \) is homeomorphic to a sphere \( S^{2n+1} \) and discusses the surjective map from \( S^{2n+1} \) to \( CP^n \), emphasizing the importance of the circle action in the quotienting process.
  • A further explanation is provided about the homeomorphism between an open set in \( CP^1 \) and \( \mathbb{C} \), detailing how to construct the map from \( D^2 \) to \( CP^1 \) and suggesting a method to generalize this construction.

Areas of Agreement / Disagreement

The discussion reveals multiple competing views on how to construct the desired mapping, with some participants questioning the validity of proposed methods while others provide clarifications and alternative approaches. No consensus is reached on a single method for the construction.

Contextual Notes

Participants express uncertainty regarding the mappings and their coverage of the respective spaces, indicating potential limitations in understanding the relationships between \( D^{2n} \), \( S^{2n+1} \), and \( CP^n \). The discussion also highlights the need for careful consideration of the properties of the spaces involved.

MathematicalPhysicist
Science Advisor
Gold Member
Messages
4,662
Reaction score
372
I am asked to construct an onto and continuous function from D^{2n} onto \mathbb{C}P^n such that it's one- to -one on the interior of D^{2n}.

I was thinking of sending the line that joins two antipodal points on the boundary of this ball, is this right, or should I be looking for something else?

Thanks.
 
Physics news on Phys.org
MathematicalPhysicist said:
I am asked to construct an onto and continuous function from D^{2n} onto \mathbb{C}P^n such that it's one- to -one on the interior of D^{2n}.

I was thinking of sending the line that joins two antipodal points on the boundary of this ball, is this right, or should I be looking for something else?

Thanks.

For the 2 sphere - CP1 - just map the boundary of the disk to the south pole. Generalize this.
 
I don't understand how does this maps D^2n onto CP^n?
 
I mean CP^n is homeomorphic to a sphere of S^{2n+1}, so if I map S^2n to a point at the south pole of S^2n, I don't see how does this mapping cover all of S^{2n+1} ~ CP^n?
 
What's a "sphere of S^{2n+1}"? Anyway, CP^n is definitely not a sphere for n>1. It is obtained from quotienting S^{2n+1} (seen as sitting in C^{n+1}) by the obvious circle action (the circle seen as sitting in C). In particular, there is a natural surjective map pr:S^{2n+1}-->CP^n.

In particular, CP^0 = {pt} and CP^1=S^2. Why? Because there is a homeomorphism between the open set U:={[z0:z1]| z0 not equal to 0} and C obtained by sending [z0:z1] to z1/z0. And what is the complement of U in CP^1? Just 1 point! (the point [0:1]) Thus, CP^1 = C^1 u CP^0. Great, so we see how to build our map D²-->CP^1 from this decomposition: just map int(D²) to C^1 homeomorphically in the obvious way, and map ∂D²=S^1 surjectively onto CP^0 according to the god-given quotient map pr:S^{0n+1}-->CP^0. Now generalize this!
 

Similar threads

  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 17 ·
Replies
17
Views
4K
  • · Replies 11 ·
Replies
11
Views
3K
  • · Replies 61 ·
3
Replies
61
Views
10K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 0 ·
Replies
0
Views
4K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 100 ·
4
Replies
100
Views
13K