Namespaces
Variants
Actions

Difference between revisions of "Projective deformation"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (tex encoded by computer)
 
Line 1: Line 1:
 +
<!--
 +
p0752101.png
 +
$#A+1 = 35 n = 0
 +
$#C+1 = 35 : ~/encyclopedia/old_files/data/P075/P.0705210 Projective deformation
 +
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}}
 +
 
An extension to projective geometry of the concept of deformation (superposition) in the metric theory of surfaces, given by G. Fubini in 1916 (a generalization of this concept to the geometry of any group of transformations was obtained by E. Cartan in 1920) using the concept of the so-called rolling of one surface over the other.
 
An extension to projective geometry of the concept of deformation (superposition) in the metric theory of surfaces, given by G. Fubini in 1916 (a generalization of this concept to the geometry of any group of transformations was obtained by E. Cartan in 1920) using the concept of the so-called rolling of one surface over the other.
  
Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075210/p0752101.png" /> be the group of transformations of a space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075210/p0752102.png" />. A surface <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075210/p0752103.png" /> is superposed on a surface <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075210/p0752104.png" /> (or rolls over <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075210/p0752105.png" />) in the geometry of the group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075210/p0752106.png" /> if a one-to-one correspondence is established between the points of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075210/p0752107.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075210/p0752108.png" /> so that to each pair of corresponding points <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075210/p0752109.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075210/p07521010.png" /> a transformation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075210/p07521011.png" /> can be assigned that takes <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075210/p07521012.png" /> into the position <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075210/p07521013.png" />. It is also required that
+
Let $  G $
 +
be the group of transformations of a space $  E $.  
 +
A surface $  S  ^  \prime  $
 +
is superposed on a surface $  S $(
 +
or rolls over $  S $)  
 +
in the geometry of the group $  G $
 +
if a one-to-one correspondence is established between the points of $  S $
 +
and $  S  ^  \prime  $
 +
so that to each pair of corresponding points $  M \in S $
 +
and $  M  ^  \prime  \in S  ^  \prime  $
 +
a transformation $  y \in G $
 +
can be assigned that takes $  S  ^  \prime  $
 +
into the position $  S $.  
 +
It is also required that
  
1) <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075210/p07521014.png" /> be identified with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075210/p07521015.png" />;
+
1) $  M  ^  \prime  $
 +
be identified with $  M $;
  
2) every curve <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075210/p07521016.png" /> passing through <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075210/p07521017.png" /> has at this point an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075210/p07521018.png" />-th order tangency with the corresponding curve <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075210/p07521019.png" /> (that is, the distance between two points <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075210/p07521020.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075210/p07521021.png" /> close to the common point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075210/p07521022.png" /> will be an infinitesimal of order <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075210/p07521023.png" /> with respect to their distance from the common point). The correspondence between <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075210/p07521024.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075210/p07521025.png" /> characterized by the number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075210/p07521026.png" /> is called a superposition of order <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075210/p07521028.png" />.
+
2) every curve $  l  ^  \prime  \in S  ^  \prime  $
 +
passing through $  M $
 +
has at this point an $  n $-
 +
th order tangency with the corresponding curve $  l \in S $(
 +
that is, the distance between two points $  M ^ {\prime* } $
 +
and $  M  ^ {*} $
 +
close to the common point $  M  ^  \prime  = M $
 +
will be an infinitesimal of order $  n + 1 $
 +
with respect to their distance from the common point). The correspondence between $  S $
 +
and $  S  ^  \prime  $
 +
characterized by the number $  n $
 +
is called a superposition of order $  n $.
  
 
The contents of the notion of a distance here does not impose restrictions on the geometry of the group. However, here the order of tangency of curves is understood in a somewhat more narrow than usual sense of the word (the difference is that the correspondence between the points of the two curves is already established by the superposition, while usually it is established in defining the order of tangency).
 
The contents of the notion of a distance here does not impose restrictions on the geometry of the group. However, here the order of tangency of curves is understood in a somewhat more narrow than usual sense of the word (the difference is that the correspondence between the points of the two curves is already established by the superposition, while usually it is established in defining the order of tangency).
  
Next, let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075210/p07521029.png" /> be the group of projective transformations and let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075210/p07521030.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075210/p07521031.png" /> be projectively superposed. Then a projective deformation is a transformation of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075210/p07521032.png" /> preserving the projective line element
+
Next, let $  G $
 +
be the group of projective transformations and let $  S $
 +
and $  S  ^  \prime  $
 +
be projectively superposed. Then a projective deformation is a transformation of $  S $
 +
preserving the projective line element
  
<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/p/p075/p075210/p07521033.png" /></td> </tr></table>
+
$$
 +
ds  =
 +
 +
\frac{F _ 3}{F _ 2}
 +
  ,
 +
$$
  
where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075210/p07521034.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075210/p07521035.png" /> are the Fubini forms (cf. [[Fubini form|Fubini form]]; in this case one has superposition of order two). And it turns out that besides ruled surfaces only the so-called <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075210/p07521036.png" />-surfaces (see [[#References|[1]]]) admit a non-trivial projective deformation.
+
where $  F _ {2} $
 +
and $  F _ {3} $
 +
are the Fubini forms (cf. [[Fubini form|Fubini form]]; in this case one has superposition of order two). And it turns out that besides ruled surfaces only the so-called $  R $-
 +
surfaces (see [[#References|[1]]]) admit a non-trivial projective deformation.
  
 
Projective geometry occupies some middle position between metric geometry, where in general every surface can be deformed, and affine geometry, where the concept of deformation does not exist: Any two surfaces admit superposition of order one and no two different surfaces can have superposition of order two.
 
Projective geometry occupies some middle position between metric geometry, where in general every surface can be deformed, and affine geometry, where the concept of deformation does not exist: Any two surfaces admit superposition of order one and no two different surfaces can have superposition of order two.
Line 19: Line 68:
 
====References====
 
====References====
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  S.P. Finikov,  "Projective-differential geometry" , Moscow-Leningrad  (1937)  (In Russian)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  A.P. Norden,  "Spaces with an affine connection" , Nauka , Moscow-Leningrad  (1976)  (In Russian)</TD></TR></table>
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  S.P. Finikov,  "Projective-differential geometry" , Moscow-Leningrad  (1937)  (In Russian)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  A.P. Norden,  "Spaces with an affine connection" , Nauka , Moscow-Leningrad  (1976)  (In Russian)</TD></TR></table>
 
 
  
 
====Comments====
 
====Comments====
 
  
 
====References====
 
====References====
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  S. Kobayashi,  "Transformation groups in differential geometry" , Springer  (1972)</TD></TR></table>
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  S. Kobayashi,  "Transformation groups in differential geometry" , Springer  (1972)</TD></TR></table>

Latest revision as of 08:08, 6 June 2020


An extension to projective geometry of the concept of deformation (superposition) in the metric theory of surfaces, given by G. Fubini in 1916 (a generalization of this concept to the geometry of any group of transformations was obtained by E. Cartan in 1920) using the concept of the so-called rolling of one surface over the other.

Let $ G $ be the group of transformations of a space $ E $. A surface $ S ^ \prime $ is superposed on a surface $ S $( or rolls over $ S $) in the geometry of the group $ G $ if a one-to-one correspondence is established between the points of $ S $ and $ S ^ \prime $ so that to each pair of corresponding points $ M \in S $ and $ M ^ \prime \in S ^ \prime $ a transformation $ y \in G $ can be assigned that takes $ S ^ \prime $ into the position $ S $. It is also required that

1) $ M ^ \prime $ be identified with $ M $;

2) every curve $ l ^ \prime \in S ^ \prime $ passing through $ M $ has at this point an $ n $- th order tangency with the corresponding curve $ l \in S $( that is, the distance between two points $ M ^ {\prime* } $ and $ M ^ {*} $ close to the common point $ M ^ \prime = M $ will be an infinitesimal of order $ n + 1 $ with respect to their distance from the common point). The correspondence between $ S $ and $ S ^ \prime $ characterized by the number $ n $ is called a superposition of order $ n $.

The contents of the notion of a distance here does not impose restrictions on the geometry of the group. However, here the order of tangency of curves is understood in a somewhat more narrow than usual sense of the word (the difference is that the correspondence between the points of the two curves is already established by the superposition, while usually it is established in defining the order of tangency).

Next, let $ G $ be the group of projective transformations and let $ S $ and $ S ^ \prime $ be projectively superposed. Then a projective deformation is a transformation of $ S $ preserving the projective line element

$$ ds = \frac{F _ 3}{F _ 2} , $$

where $ F _ {2} $ and $ F _ {3} $ are the Fubini forms (cf. Fubini form; in this case one has superposition of order two). And it turns out that besides ruled surfaces only the so-called $ R $- surfaces (see [1]) admit a non-trivial projective deformation.

Projective geometry occupies some middle position between metric geometry, where in general every surface can be deformed, and affine geometry, where the concept of deformation does not exist: Any two surfaces admit superposition of order one and no two different surfaces can have superposition of order two.

References

[1] S.P. Finikov, "Projective-differential geometry" , Moscow-Leningrad (1937) (In Russian)
[2] A.P. Norden, "Spaces with an affine connection" , Nauka , Moscow-Leningrad (1976) (In Russian)

Comments

References

[a1] S. Kobayashi, "Transformation groups in differential geometry" , Springer (1972)
How to Cite This Entry:
Projective deformation. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Projective_deformation&oldid=48318
This article was adapted from an original article by M.I. Voitsekhovskii (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article