Difference between revisions of "Fubini form"
(Importing text file) |
Ulf Rehmann (talk | contribs) m (tex encoded by computer) |
||
| Line 1: | Line 1: | ||
| − | + | <!-- | |
| + | f0418401.png | ||
| + | $#A+1 = 10 n = 0 | ||
| + | $#C+1 = 10 : ~/encyclopedia/old_files/data/F041/F.0401840 Fubini form | ||
| + | Automatically converted into TeX, above some diagnostics. | ||
| + | Please remove this comment and the {{TEX|auto}} line below, | ||
| + | if TeX found to be correct. | ||
| + | --> | ||
| − | + | {{TEX|auto}} | |
| + | {{TEX|done}} | ||
| − | + | A differential form (quadratic $ F _ {2} $ | |
| + | or cubic $ F _ {3} $) | ||
| + | on which the construction of [[Projective differential geometry|projective differential geometry]] is based. They were introduced by G. Fubini (see [[#References|[1]]]). | ||
| − | + | Let $ x ^ \alpha ( u _ {1} , u _ {2} ) $ | |
| + | be (homogeneous) projective coordinates of a point on a surface with intrinsic coordinates $ u ^ {1} , u ^ {2} $, | ||
| + | and let | ||
| − | + | $$ | |
| + | b _ {ij} = \ | ||
| + | ( x ^ \alpha , x _ {1} ^ \alpha ,\ | ||
| + | x _ {2} ^ \alpha , x _ {ij} ^ \alpha ) , | ||
| + | $$ | ||
| + | |||
| + | $$ | ||
| + | b _ {ijk} = a _ {ijk} - { | ||
| + | \frac{1}{2} | ||
| + | } \partial _ {k} b _ {ij} + { | ||
| + | \frac{1}{2} | ||
| + | } b _ {ij} \partial _ {k} \mathop{\rm ln} \sqrt {| b | } , | ||
| + | $$ | ||
| + | |||
| + | $$ | ||
| + | b = \mathop{\rm det} ( b _ {ij} ) ,\ a _ {ijk} = ( x ^ \alpha , x _ {1} ^ \alpha , x _ {2} ^ \alpha , x _ {ijk} ^ \alpha ) . | ||
| + | $$ | ||
Then the Fubini forms are defined as follows: | Then the Fubini forms are defined as follows: | ||
| − | + | $$ | |
| + | F _ {2} = \ | ||
| + | b _ {ij} du ^ {i} \ | ||
| + | du ^ {j} | b | ^ {-} 1/4 ,\ \ | ||
| + | F _ {3} = \ | ||
| + | b _ {ijk} du ^ {i} \ | ||
| + | du ^ {j} du ^ {k} | ||
| + | | b | ^ {-} 1/4 . | ||
| + | $$ | ||
| − | However, the projective coordinates themselves are not uniquely determined: they admit the introduction of arbitrary multiples and homogeneous linear transformations. Therefore the Fubini forms are defined only up to a factor, and in order to avoid difficulties connected with this one normalizes the coordinates and the forms defined in terms of them. For example, the Fubini forms preserve their value (up to sign) under unimodular projective transformations. The ratio | + | However, the projective coordinates themselves are not uniquely determined: they admit the introduction of arbitrary multiples and homogeneous linear transformations. Therefore the Fubini forms are defined only up to a factor, and in order to avoid difficulties connected with this one normalizes the coordinates and the forms defined in terms of them. For example, the Fubini forms preserve their value (up to sign) under unimodular projective transformations. The ratio $ F _ {3} /F _ {2} $ |
| + | is called the projective line element, and is independent of the normalization (and determines the projective metric element). | ||
The Fubini forms that are constructed by metric means, starting from the [[Second fundamental form|second fundamental form]] and the Darboux form (defined by the [[Darboux tensor|Darboux tensor]]), | The Fubini forms that are constructed by metric means, starting from the [[Second fundamental form|second fundamental form]] and the Darboux form (defined by the [[Darboux tensor|Darboux tensor]]), | ||
| − | + | $$ | |
| + | f _ {2} = \lambda F _ {2} ,\ \ | ||
| + | f _ {3} = \lambda F _ {3} , | ||
| + | $$ | ||
are invariant under equi-affine transformations, and can therefore be used as a basis for equi-affine differential geometry. | are invariant under equi-affine transformations, and can therefore be used as a basis for equi-affine differential geometry. | ||
Revision as of 19:40, 5 June 2020
A differential form (quadratic $ F _ {2} $
or cubic $ F _ {3} $)
on which the construction of projective differential geometry is based. They were introduced by G. Fubini (see [1]).
Let $ x ^ \alpha ( u _ {1} , u _ {2} ) $ be (homogeneous) projective coordinates of a point on a surface with intrinsic coordinates $ u ^ {1} , u ^ {2} $, and let
$$ b _ {ij} = \ ( x ^ \alpha , x _ {1} ^ \alpha ,\ x _ {2} ^ \alpha , x _ {ij} ^ \alpha ) , $$
$$ b _ {ijk} = a _ {ijk} - { \frac{1}{2} } \partial _ {k} b _ {ij} + { \frac{1}{2} } b _ {ij} \partial _ {k} \mathop{\rm ln} \sqrt {| b | } , $$
$$ b = \mathop{\rm det} ( b _ {ij} ) ,\ a _ {ijk} = ( x ^ \alpha , x _ {1} ^ \alpha , x _ {2} ^ \alpha , x _ {ijk} ^ \alpha ) . $$
Then the Fubini forms are defined as follows:
$$ F _ {2} = \ b _ {ij} du ^ {i} \ du ^ {j} | b | ^ {-} 1/4 ,\ \ F _ {3} = \ b _ {ijk} du ^ {i} \ du ^ {j} du ^ {k} | b | ^ {-} 1/4 . $$
However, the projective coordinates themselves are not uniquely determined: they admit the introduction of arbitrary multiples and homogeneous linear transformations. Therefore the Fubini forms are defined only up to a factor, and in order to avoid difficulties connected with this one normalizes the coordinates and the forms defined in terms of them. For example, the Fubini forms preserve their value (up to sign) under unimodular projective transformations. The ratio $ F _ {3} /F _ {2} $ is called the projective line element, and is independent of the normalization (and determines the projective metric element).
The Fubini forms that are constructed by metric means, starting from the second fundamental form and the Darboux form (defined by the Darboux tensor),
$$ f _ {2} = \lambda F _ {2} ,\ \ f _ {3} = \lambda F _ {3} , $$
are invariant under equi-affine transformations, and can therefore be used as a basis for equi-affine differential geometry.
References
| [1] | G. Fubini, E. Čech, "Geometria proettiva differenziale" , 1–2 , Zanichelli (1926–1927) |
| [2] | V.F. Kagan, "Foundations of the theory of surfaces in a tensor setting" , 2 , Moscow-Leningrad (1948) (In Russian) |
| [3] | P.A. Shirokov, A.P. Shirokov, "Differentialgeometrie" , Teubner (1962) (Translated from Russian) |
Fubini form. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Fubini_form&oldid=47002