gptkbp:instanceOf
|
gptkb:mathematical_concept
3-dimensional real projective space
|
gptkbp:canBeEmbeddedIn
|
R^5
|
gptkbp:cannot_be_embedded_in
|
R^4
|
gptkbp:describes
|
gptkb:SO(3)
the space of lines through the origin in R^4
|
gptkbp:dimensions
|
3
|
gptkbp:Euler_characteristic
|
0
|
gptkbp:fundamentalGroup
|
gptkb:Z/2Z
|
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
|
RP^3
|
gptkbp:is_a_closed_manifold
|
true
|
gptkbp:is_a_compact_manifold
|
true
|
gptkbp:is_a_connected_manifold
|
true
|
gptkbp:is_a_double_cover_of
|
3-sphere S^3
|
gptkbp:is_a_homogeneous_space
|
true
|
gptkbp:is_a_lens_space
|
L(2,1)
|
gptkbp:is_a_Lie_group
|
false
|
gptkbp:is_a_manifold
|
true
|
gptkbp:is_a_prime_3-manifold
|
true
|
gptkbp:is_a_quotient_by
|
antipodal map
|
gptkbp:is_a_real_projective_space
|
true
|
gptkbp:is_a_Seifert_fiber_space
|
true
|
gptkbp:is_a_smooth_manifold
|
true
|
gptkbp:is_a_topological_space
|
true
|
gptkbp:isQuotientOf
|
3-sphere S^3
|
gptkbp:orientable
|
true
|
gptkbp:universalCover
|
S^3
|
gptkbp:bfsParent
|
gptkb:3-dimensional_real_projective_space
|
gptkbp:bfsLayer
|
7
|