Namespaces
Variants
Actions

Difference between revisions of "Fubini form"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (tex encoded by computer)
Line 1: Line 1:
A differential form (quadratic <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041840/f0418401.png" /> or cubic <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041840/f0418402.png" />) on which the construction of [[Projective differential geometry|projective differential geometry]] is based. They were introduced by G. Fubini (see [[#References|[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.
 +
-->
  
Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041840/f0418403.png" /> be (homogeneous) projective coordinates of a point on a surface with intrinsic coordinates <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041840/f0418404.png" />, and let
+
{{TEX|auto}}
 +
{{TEX|done}}
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041840/f0418405.png" /></td> </tr></table>
+
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]]]).
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041840/f0418406.png" /></td> </tr></table>
+
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
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041840/f0418407.png" /></td> </tr></table>
+
$$
 +
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 | } ,
 +
$$
 +
 
 +
$$
 +
=   \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:
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041840/f0418408.png" /></td> </tr></table>
+
$$
 +
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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041840/f0418409.png" /> is called the projective line element, and is independent of the normalization (and determines the projective metric element).
+
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]]),
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/f/f041/f041840/f04184010.png" /></td> </tr></table>
+
$$
 +
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)
How to Cite This Entry:
Fubini form. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Fubini_form&oldid=15294
This article was adapted from an original article by M.I. Voitsekhovskii (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article