Howard P. Robertson Quotes

In the sum <math>\sigma</math> of the three angles of a triangle (whose sides are arcs of s) is greater than two right angles [180°]; it can... be shown that this "spherical excess" is given by 2)<math>\sigma - \pi = K \delta</math>where <math>\delta</math> is the area of the spherical triangle and the angles are measured in s (in which 180° = <math>\pi</math> [radians]). Further, each full line (great circle) is of finite length <math>2 \pi R</math>, and any two full lines meet in two points—there are no parallels!

Measurements which may be made on the surface of the earth... is an example of a 2-dimensional congruence space of positive curvature <math>K = \frac{1}{R^2}</math>... [C]onsider... a "small circle" of radius <math>r</math> (measured on the surface!)... its perimeter <math>L</math> and area <math>A</math>... are clearly less than the corresponding measures <math>2\pi r</math> and <math>\pi r^2</math>... in the Euclidean plane. ...for sufficiently small <math>r</math> (i.e., small compared with <math>R</math>) these quantities on the sphere are given by 1):<math>L = 2 \pi r (1 - \frac{Kr^2}{6} + ...)</math>,
<math>A = \pi r^2 (1 - \frac{Kr^2}{12} + ...)</math>

[W]e propose... to deal exclusively with properties intrinsic to the space... measured within the space itself... in terms of... inner properties.

Euclidean geometry is only one of several congruence geometries... Each of these geometries is characterized by a real number <math>K</math>, which for Euclidean geometry is 0, for the hyperbolic negative, and for the spherical and elliptic geometries, positive. In the case of 2-dimensional congruence spaces... <math>K</math> may be interpreted as the of the surface into the third dimension—whence it derives its name...

That the existence of these motions (the "axiom of free mobility") is a desideratum, if not... a necessity, for a geometry applicable to physical space, has been forcefully argued on a priori grounds by von Helmholtz, Whitehead, Russell and others; for only in a homogeneous and isotropic space can the traditional concept of a rigid body be maintained.

[O]nly in a homogeneous and isotropic space can the traditional concept of a rigid body be maintained.

is a congruence geometry, or equivalently the space comprising its elements is homogeneous and isotropic; the intrinsic relations between... elements of a configuration are unaffected by the position or orientation of the configuration. ...[M]otions of are the familiar translations and rotations... made in proving the theorems of Euclid.

The solution of (1), which represents a homogeneous manifold, may be written in the form:<math>ds^2 = \frac{d\rho^2}{1 - \kappa^2\rho^2} - \rho^2 (d\theta^2 + sin^2 \theta \; d\phi^2) + (1 - \kappa^2 \rho^2)\; c^2 d\tau^2, \qquad (2)</math>where <math>\kappa = \sqrt \frac{\lambda}{3}</math>. If we consider <math>\rho</math> as determining distance from the origin... and <math>\tau</math> as measuring the proper-time of a clock at the origin, we are led to the de Sitter spherical world...

In considerations involving the nature of the world as a whole the irregularities caused by the aggregation of matter into stars and stellar systems may be ignored; and if we further assume that the total matter in the world has but little effect on its macroscopic properties, we may consider them as being determined by the solution of an empty world.

An "empty world," i.e., a homogeneous manifold at all points at which equations (1) are satisfied, has, according to the theory, a constant Riemann curvature, and any deviation from this fundamental solution is to be directly attributed to the influence of matter or energy.

The general theory of relativity considers physical space-time as a four-dimensional manifold whose line element coefficients <math>g_{\mu \nu}</math> satisfy the differential equations<math>G_{\mu \nu} = \lambda g_{\mu \nu} \qquad .\;.\;.\;.\;.\;.\; (1)</math>in all regions free from matter and electromagnetic field, where <math>G_{\mu \nu}</math> is the contracted Riemann-Christoffel tensor associated with the fundamental tensor <math>g_{\mu \nu}</math>, and <math>\lambda</math> is the .

We should, of course, expect that any universe which expands without limit will approach the empty de Sitter case, and that its ultimate fate is a state in which each physical unit—perhaps each nebula or intimate group of nebulae—is the only thing which exists within its own observable universe.