dimensionOverℝ
P152464
predicate
Indicates that the dimension of a given mathematical structure is being considered or measured as a vector space over the field of real numbers ℝ.
Observed surface forms (1)
| Surface form | Occurrences |
|---|---|
| dimensionOverR | 1 |
Sample triples (3)
| Subject | Object |
|---|---|
|
special unitary group SU(n)
surface form:
SU(n)
|
n² − 1 ⓘ |
| PSL(2,ℝ) | 3 ⓘ |
| Teichmüller space | 6g-6+2n for a surface of genus g with n punctures via predicate surface "dimensionOverR" ⓘ |