Statements (30)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:topology
gptkb:Riemannian_manifold real projective space |
| gptkbp:category |
gptkb:geometry
gptkb:topology differential topology |
| gptkbp:compact |
true
|
| gptkbp:connects |
true
|
| gptkbp:covering_space |
3-sphere S^3
|
| gptkbp:dimensions |
3
|
| gptkbp:Euler_characteristic |
0
|
| gptkbp:fundamentalGroup |
gptkb:Z/2Z
|
| gptkbp:Hausdorff |
true
|
| gptkbp:homology_group_H_0 |
Z
|
| gptkbp:homology_group_H_1 |
gptkb:Z/2Z
|
| gptkbp:homology_group_H_2 |
0
|
| gptkbp:homology_group_H_3 |
Z
|
| https://www.w3.org/2000/01/rdf-schema#label |
real projective space RP^3
|
| gptkbp:locally_Euclidean |
true
|
| gptkbp:orientable |
false
|
| gptkbp:quotient_by |
antipodal map
|
| gptkbp:quotient_of |
3-sphere S^3
|
| gptkbp:realization |
lines through the origin in R^4
|
| gptkbp:second_countable |
true
|
| gptkbp:symbol |
gptkb:RP^3
|
| gptkbp:used_in |
gptkb:geometry
gptkb:topology differential geometry |
| gptkbp:bfsParent |
gptkb:SO(3)_symmetry
|
| gptkbp:bfsLayer |
7
|