Statements (17)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
projective line |
| gptkbp:automorphismGroup |
projective linear group PGL(2, R)
|
| gptkbp:can_be_identified_with |
gptkb:butter
|
| gptkbp:cardinality |
continuum
|
| gptkbp:contains |
real numbers
point at infinity |
| gptkbp:dimensions |
1
|
| gptkbp:field |
real numbers
|
| gptkbp:has_points |
all lines through the origin in R^2
|
| gptkbp:is_a_compactification_of |
real line
|
| gptkbp:notation |
RP^1
|
| gptkbp:relatedTo |
complex projective line
|
| gptkbp:topology |
homeomorphic to S^1
|
| gptkbp:used_in |
gptkb:geometry
|
| gptkbp:bfsParent |
gptkb:Special_Linear_Group_of_2x2_real_matrices
|
| gptkbp:bfsLayer |
7
|