Namespaces
Variants
Actions

Difference between revisions of "Fubini form"

From Encyclopedia of Mathematics
Jump to: navigation, search
m (tex encoded by computer)
m (fixing superscripts)
 
Line 42: Line 42:
 
F _ {2}  = \  
 
F _ {2}  = \  
 
b _ {ij}  du  ^ {i} \  
 
b _ {ij}  du  ^ {i} \  
du  ^ {j}  | b |  ^ {-} 1/4 ,\ \  
+
du  ^ {j}  | b |  ^ {- 1/4} ,\ \  
 
F _ {3}  = \  
 
F _ {3}  = \  
 
b _ {ijk}  du  ^ {i} \  
 
b _ {ijk}  du  ^ {i} \  
 
du  ^ {j}  du  ^ {k}
 
du  ^ {j}  du  ^ {k}
  | b |  ^ {-} 1/4 .
+
  | b |  ^ {- 1/4 }.
 
$$
 
$$
  

Latest revision as of 02:34, 14 September 2022


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)
How to Cite This Entry:
Fubini form. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Fubini_form&oldid=47002
This article was adapted from an original article by M.I. Voitsekhovskii (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article