Statements (19)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
gptkb:real_projective_line |
| gptkbp:alsoKnownAs |
gptkb:real_projective_line
projective line over the reals |
| gptkbp:cardinality |
uncountable
|
| gptkbp:compact |
true
|
| gptkbp:connects |
true
|
| gptkbp:describes |
the set of lines through the origin in R^2
|
| gptkbp:dimensions |
1
|
| gptkbp:field |
R
|
| gptkbp:homogeneous_space |
PSL(2,R)/SO(2)
|
| gptkbp:pointsSystem |
R union infinity
|
| gptkbp:topology |
homeomorphic to a circle
|
| gptkbp:usedIn |
gptkb:algebraic_geometry
gptkb:geometry complex analysis |
| gptkbp:bfsParent |
gptkb:projective_line_over_R
|
| gptkbp:bfsLayer |
8
|
| https://www.w3.org/2000/01/rdf-schema#label |
P^1(R)
|