Hfrxdjt

How many time has Arya actually used Needle?

What to do with repeated rejections for phd position

Would color changing eyes affect vision?

Did any compiler fully use 80-bit floating point?

How would you say "es muy psicólogo"?

What is the difference between a "ranged attack" and a "ranged weapon attack"?

As a dual citizen, my US passport will expire one day after traveling to the US. Will this work?

Why not send Voyager 3 and 4 following up the paths taken by Voyager 1 and 2 to re-transmit signals of later as they fly away from Earth?

New Order #6: Easter Egg

Is it dangerous to install hacking tools on my private linux machine?

Central Vacuuming: Is it worth it, and how does it compare to normal vacuuming?

Tips to organize LaTeX presentations for a semester

Why does electrolysis of aqueous concentrated sodium bromide produce bromine at the anode?

I can't produce songs

Project Euler #1 in C++

Does the Black Tentacles spell do damage twice at the start of turn to an already restrained creature?

How to force a browser when connecting to a specific domain to be https only using only the client machine?

Does the Mueller report show a conspiracy between Russia and the Trump Campaign?

Google .dev domain strangely redirects to https

What is the "studentd" process?

What does it mean that physics no longer uses mechanical models to describe phenomena?

Mounting TV on a weird wall that has some material between the drywall and stud

Universal covering space of the real projective line?

Understanding p-Values using an example

Universal covering space of the real projective line?

5

$begingroup$

I´m thinking about universal covering spaces. I´ve seen a lot of examples and authors ever say "the sphere $S^n$ is the universal covering space of the $n$-dimensional projective space $mathbbRP^n$ for $n geq 1$.

So my question is: and what about the real projective line $mathbbRP^1$? Has it universal covering space?

Thanks!

algebraic-topology covering-spaces

share|cite|improve this question

asked 4 hours ago

user183002user183002

584

$endgroup$

add a comment | 

5

$begingroup$

I´m thinking about universal covering spaces. I´ve seen a lot of examples and authors ever say "the sphere $S^n$ is the universal covering space of the $n$-dimensional projective space $mathbbRP^n$ for $n geq 1$.

So my question is: and what about the real projective line $mathbbRP^1$? Has it universal covering space?

Thanks!

algebraic-topology covering-spaces

share|cite|improve this question

asked 4 hours ago

user183002user183002

584

$endgroup$

add a comment | 

$begingroup$

I´m thinking about universal covering spaces. I´ve seen a lot of examples and authors ever say "the sphere $S^n$ is the universal covering space of the $n$-dimensional projective space $mathbbRP^n$ for $n geq 1$.

So my question is: and what about the real projective line $mathbbRP^1$? Has it universal covering space?

Thanks!

algebraic-topology covering-spaces

share|cite|improve this question

asked 4 hours ago

user183002user183002

584

$endgroup$

share|cite|improve this question

asked 4 hours ago

user183002user183002

584

share|cite|improve this question

asked 4 hours ago

user183002user183002

584

asked 4 hours ago

user183002user183002

584

asked 4 hours ago

user183002user183002

584

2 Answers
2

active

oldest

votes

4

$begingroup$

$mathbbRP^1$ is homeomorphic to $mathbbS^1$. To see this, first note that more generaly $mathbbRP^nsimeqmathbbS^n/_pm id$ and in the case $n=1$ you have $ mathbbS^1/_pm idsimeq mathbbS^1$ (just factorize the map $zmapsto z^2$).

From here you can conclude.

share|cite|improve this answer

edited 47 mins ago

Servaes

30.9k342101

answered 4 hours ago

AdamAdam

1037

$endgroup$

• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  Sure! I had the homeomorphism but I missed it! Lol. Thanks! :D
  $endgroup$
  – user183002
  4 hours ago
  

  
  
  
  

add a comment | 

3

$begingroup$

The real projective line is just a circle, so the universal covering space is the real line.

share|cite|improve this answer

answered 4 hours ago

Matt SamuelMatt Samuel

39.4k63870

$endgroup$

• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  I don´t agree. Even it´s not a circumference. It´s a quotient of a circumference, yeah?
  $endgroup$
  – user183002
  4 hours ago
  

  
  
  
  


• 
  
  
  

  
  1
  

  
  
  
  
  
  

  
  $begingroup$
  @user A cheap way to see it is that the unique closed one dimensional manifold is a circle. There's nothing else it can be.
  $endgroup$
  – Matt Samuel
  4 hours ago
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  Important to note is that it isn’t the universal cover.
  $endgroup$
  – Connor Malin
  2 hours ago
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  What I mean is that $S^1 rightarrow mathbbRP^1$ is a covering space, but not a universal one.
  $endgroup$
  – Connor Malin
  1 hour ago
  
  

  
  
  
  


• 
  
  
  

  
  1
  

  
  
  
  
  
  

  
  $begingroup$
  @Connor I agree. Note my answer says the real line is the universal cover.
  $endgroup$
  – Matt Samuel
  1 hour ago
  

  
  
  
  

add a comment | 

Your Answer

StackExchange.ready(function()
var channelOptions =
tags: "".split(" "),
id: "69"
;
initTagRenderer("".split(" "), "".split(" "), channelOptions);

StackExchange.using("externalEditor", function()
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled)
StackExchange.using("snippets", function()
createEditor();
);

else
createEditor();

);

function createEditor()
StackExchange.prepareEditor(
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader:
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
,
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
);



);

draft saved

draft discarded

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

Name

Email

Required, but never shown

StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3194923%2funiversal-covering-space-of-the-real-projective-line%23new-answer', 'question_page');

);

Post as a guest

Name

Email

Required, but never shown

4

$begingroup$

$mathbbRP^1$ is homeomorphic to $mathbbS^1$. To see this, first note that more generaly $mathbbRP^nsimeqmathbbS^n/_pm id$ and in the case $n=1$ you have $ mathbbS^1/_pm idsimeq mathbbS^1$ (just factorize the map $zmapsto z^2$).

From here you can conclude.

share|cite|improve this answer

edited 47 mins ago

Servaes

30.9k342101

answered 4 hours ago

AdamAdam

1037

$endgroup$

• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  Sure! I had the homeomorphism but I missed it! Lol. Thanks! :D
  $endgroup$
  – user183002
  4 hours ago
  

  
  
  
  

add a comment | 

4

$begingroup$

$mathbbRP^1$ is homeomorphic to $mathbbS^1$. To see this, first note that more generaly $mathbbRP^nsimeqmathbbS^n/_pm id$ and in the case $n=1$ you have $ mathbbS^1/_pm idsimeq mathbbS^1$ (just factorize the map $zmapsto z^2$).

From here you can conclude.

share|cite|improve this answer

edited 47 mins ago

Servaes

30.9k342101

answered 4 hours ago

AdamAdam

1037

$endgroup$

• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  Sure! I had the homeomorphism but I missed it! Lol. Thanks! :D
  $endgroup$
  – user183002
  4 hours ago
  

  
  
  
  

add a comment | 

$begingroup$

$mathbbRP^1$ is homeomorphic to $mathbbS^1$. To see this, first note that more generaly $mathbbRP^nsimeqmathbbS^n/_pm id$ and in the case $n=1$ you have $ mathbbS^1/_pm idsimeq mathbbS^1$ (just factorize the map $zmapsto z^2$).

From here you can conclude.

share|cite|improve this answer

edited 47 mins ago

Servaes

30.9k342101

answered 4 hours ago

AdamAdam

1037

$endgroup$

share|cite|improve this answer

edited 47 mins ago

Servaes

30.9k342101

answered 4 hours ago

AdamAdam

1037

edited 47 mins ago

Servaes

30.9k342101

edited 47 mins ago

Servaes

30.9k342101

answered 4 hours ago

AdamAdam

1037

answered 4 hours ago

AdamAdam

1037

3

$begingroup$

The real projective line is just a circle, so the universal covering space is the real line.

share|cite|improve this answer

answered 4 hours ago

Matt SamuelMatt Samuel

39.4k63870

$endgroup$

• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  I don´t agree. Even it´s not a circumference. It´s a quotient of a circumference, yeah?
  $endgroup$
  – user183002
  4 hours ago
  

  
  
  
  


• 
  
  
  

  
  1
  

  
  
  
  
  
  

  
  $begingroup$
  @user A cheap way to see it is that the unique closed one dimensional manifold is a circle. There's nothing else it can be.
  $endgroup$
  – Matt Samuel
  4 hours ago
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  Important to note is that it isn’t the universal cover.
  $endgroup$
  – Connor Malin
  2 hours ago
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  What I mean is that $S^1 rightarrow mathbbRP^1$ is a covering space, but not a universal one.
  $endgroup$
  – Connor Malin
  1 hour ago
  
  

  
  
  
  


• 
  
  
  

  
  1
  

  
  
  
  
  
  

  
  $begingroup$
  @Connor I agree. Note my answer says the real line is the universal cover.
  $endgroup$
  – Matt Samuel
  1 hour ago
  

  
  
  
  

add a comment | 

3

$begingroup$

The real projective line is just a circle, so the universal covering space is the real line.

share|cite|improve this answer

answered 4 hours ago

Matt SamuelMatt Samuel

39.4k63870

$endgroup$

• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  I don´t agree. Even it´s not a circumference. It´s a quotient of a circumference, yeah?
  $endgroup$
  – user183002
  4 hours ago
  

  
  
  
  


• 
  
  
  

  
  1
  

  
  
  
  
  
  

  
  $begingroup$
  @user A cheap way to see it is that the unique closed one dimensional manifold is a circle. There's nothing else it can be.
  $endgroup$
  – Matt Samuel
  4 hours ago
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  Important to note is that it isn’t the universal cover.
  $endgroup$
  – Connor Malin
  2 hours ago
  

  
  
  
  


• 
  
  
  

  
  

  
  
  
  
  
  

  
  $begingroup$
  What I mean is that $S^1 rightarrow mathbbRP^1$ is a covering space, but not a universal one.
  $endgroup$
  – Connor Malin
  1 hour ago
  
  

  
  
  
  


• 
  
  
  

  
  1
  

  
  
  
  
  
  

  
  $begingroup$
  @Connor I agree. Note my answer says the real line is the universal cover.
  $endgroup$
  – Matt Samuel
  1 hour ago
  

  
  
  
  

add a comment | 

$begingroup$

The real projective line is just a circle, so the universal covering space is the real line.

share|cite|improve this answer

answered 4 hours ago

Matt SamuelMatt Samuel

39.4k63870

$endgroup$

share|cite|improve this answer

answered 4 hours ago

Matt SamuelMatt Samuel

39.4k63870

answered 4 hours ago

Matt SamuelMatt Samuel

39.4k63870

answered 4 hours ago

Matt SamuelMatt Samuel

39.4k63870