Namespaces
Variants
Actions

Difference between revisions of "Unicursal curve"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (tex done)
 
(One intermediate revision by the same user not shown)
Line 1: Line 1:
A plane curve <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/u/u095/u095170/u0951701.png" /> which may be traversed such that the points of self-intersection are visited only twice. For a curve to be unicursal it is necessary and sufficient that there are at most two points through which there pass an odd number of paths. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/u/u095/u095170/u0951702.png" /> is a plane [[Algebraic curve|algebraic curve]] of order <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/u/u095/u095170/u0951703.png" /> having the maximum number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/u/u095/u095170/u0951704.png" /> of double points (including improper and imaginary ones), then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/u/u095/u095170/u0951705.png" /> (where a point of multiplicity <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/u/u095/u095170/u0951706.png" /> is counted as <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/u/u095/u095170/u0951707.png" /> double points).
+
<!--
 +
u0951701.png
 +
$#A+1 = 23 n = 0
 +
$#C+1 = 23 : ~/encyclopedia/old_files/data/U095/U.0905170 Unicursal curve
 +
Automatically converted into TeX, above some diagnostics.
 +
Please remove this comment and the {{TEX|auto}} line below,
 +
if TeX found to be correct.
 +
-->
  
Every integral <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/u/u095/u095170/u0951708.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/u/u095/u095170/u0951709.png" /> is the function of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/u/u095/u095170/u09517010.png" /> defined by the equation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/u/u095/u095170/u09517011.png" /> giving an algebraic unicursal curve and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/u/u095/u095170/u09517012.png" /> is a rational function, can be reduced to an integral of a rational function and can be expressed in terms of elementary functions.
+
{{TEX|auto}}
 +
{{TEX|done}}
  
 +
A plane curve  $  \Gamma $
 +
which may be traversed such that the points of self-intersection are visited only twice. For a curve to be unicursal it is necessary and sufficient that there are at most two points through which there pass an odd number of paths. If  $  \Gamma $
 +
is a plane [[Algebraic curve|algebraic curve]] of order  $  n $
 +
having the maximum number  $  \delta $
 +
of double points (including improper and imaginary ones), then  $  \delta = ( n - 1) ( n - 2)/2 $(
 +
where a point of multiplicity  $  k $
 +
is counted as  $  k ( k - 1)/2 $
 +
double points).
  
 +
Every integral  $  \int R ( x, y)  dx $,
 +
where  $  y $
 +
is the function of  $  x $
 +
defined by the equation  $  F ( x, y) = 0 $
 +
giving an algebraic unicursal curve and  $  R ( x, y) $
 +
is a rational function, can be reduced to an integral of a rational function and can be expressed in terms of elementary functions.
  
 
====Comments====
 
====Comments====
In algebraic geometry, a unicursal curve <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/u/u095/u095170/u09517013.png" /> is a rational curve, i.e. a curve that admits a parametric representation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/u/u095/u095170/u09517014.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/u/u095/u095170/u09517015.png" /> with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/u/u095/u095170/u09517016.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/u/u095/u095170/u09517017.png" /> rational functions. Such a curve is an algebraic curve of effective genus <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/u/u095/u095170/u09517018.png" />. For every irreducible curve <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/u/u095/u095170/u09517019.png" /> there exists a birationally equivalent non-singular curve <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/u/u095/u095170/u09517020.png" />. This <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/u/u095/u095170/u09517021.png" /> is unique up to isomorphism. The genus of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/u/u095/u095170/u09517022.png" /> is called the effective genus of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/u/u095/u095170/u09517023.png" />. The unicursal curves are the irreducible algebraic curves of effective genus zero. This (more or less) agrees with the general geometric definition above, in that the parametrization provides a "traversion" .
+
In algebraic geometry, a unicursal curve $  U $
 +
is a rational curve, i.e. a curve that admits a parametric representation $  x = \phi ( t) $,  
 +
$  y = \psi ( t) $
 +
with $  \phi $
 +
and $  \psi $
 +
rational functions. Such a curve is an algebraic curve of effective genus 0 $.  
 +
For every irreducible curve $  \Gamma $
 +
there exists a birationally equivalent non-singular curve $  \widetilde \Gamma  $.  
 +
This $  \widetilde \Gamma  $
 +
is unique up to isomorphism. The genus of $  \widetilde \Gamma  $
 +
is called the effective genus of $  \Gamma $.  
 +
The unicursal curves are the irreducible algebraic curves of effective genus zero. This (more or less) agrees with the general geometric definition above, in that the parametrization provides a "traversion" .
  
 
====References====
 
====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> R.J. Walker,   "Algebraic curves" , Dover, reprint (1950) pp. 149–151</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> P.A. Griffiths,   J.E. Harris,   "Principles of algebraic geometry" , Wiley (Interscience) (1978) pp. 178; 674; 179; 349; 525; 532; 535; 632; 743</TD></TR></table>
+
<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> R.J. Walker, "Algebraic curves" , Dover, reprint (1950) pp. 149–151 {{MR|0033083}} {{ZBL|0039.37701}} </TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> P.A. Griffiths, J.E. Harris, "Principles of algebraic geometry" , Wiley (Interscience) (1978) pp. 178; 674; 179; 349; 525; 532; 535; 632; 743 {{MR|0507725}} {{ZBL|0408.14001}} </TD></TR></table>

Latest revision as of 13:37, 7 June 2020


A plane curve $ \Gamma $ which may be traversed such that the points of self-intersection are visited only twice. For a curve to be unicursal it is necessary and sufficient that there are at most two points through which there pass an odd number of paths. If $ \Gamma $ is a plane algebraic curve of order $ n $ having the maximum number $ \delta $ of double points (including improper and imaginary ones), then $ \delta = ( n - 1) ( n - 2)/2 $( where a point of multiplicity $ k $ is counted as $ k ( k - 1)/2 $ double points).

Every integral $ \int R ( x, y) dx $, where $ y $ is the function of $ x $ defined by the equation $ F ( x, y) = 0 $ giving an algebraic unicursal curve and $ R ( x, y) $ is a rational function, can be reduced to an integral of a rational function and can be expressed in terms of elementary functions.

Comments

In algebraic geometry, a unicursal curve $ U $ is a rational curve, i.e. a curve that admits a parametric representation $ x = \phi ( t) $, $ y = \psi ( t) $ with $ \phi $ and $ \psi $ rational functions. Such a curve is an algebraic curve of effective genus $ 0 $. For every irreducible curve $ \Gamma $ there exists a birationally equivalent non-singular curve $ \widetilde \Gamma $. This $ \widetilde \Gamma $ is unique up to isomorphism. The genus of $ \widetilde \Gamma $ is called the effective genus of $ \Gamma $. The unicursal curves are the irreducible algebraic curves of effective genus zero. This (more or less) agrees with the general geometric definition above, in that the parametrization provides a "traversion" .

References

[a1] R.J. Walker, "Algebraic curves" , Dover, reprint (1950) pp. 149–151 MR0033083 Zbl 0039.37701
[a2] P.A. Griffiths, J.E. Harris, "Principles of algebraic geometry" , Wiley (Interscience) (1978) pp. 178; 674; 179; 349; 525; 532; 535; 632; 743 MR0507725 Zbl 0408.14001
How to Cite This Entry:
Unicursal curve. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Unicursal_curve&oldid=12032
This article was adapted from an original article by M.I. Voitsekhovskii (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article