|
|
| Line 1: |
Line 1: |
| In [[geometry]], a '''singular point''' on a [[curve]] is one where the curve is not given by a [[smooth function|smooth]] embedding of a parameter. The precise definition of a singular point depends on the type of curve being studied.
| | Alyson Meagher is the title her parents gave her but accurate psychic predictions, [http://cspl.postech.ac.kr/zboard/Membersonly/144571 cspl.postech.ac.kr], she doesn't like when individuals use her full name. I've always loved living in Kentucky but now I'm contemplating other choices. What me and my family adore is bungee leaping but I've been taking on new things lately. [http://medialab.zendesk.com/entries/54181460-Will-You-Often-End-Up-Bored-Try-One-Of-These-Hobby-Ideas- online psychic reading] Since I was eighteen I've been operating as a bookkeeper but quickly my wife and I will start our personal business.<br><br>Here is my web-site - [http://black7.mireene.com/aqw/5741 authentic psychic readings] |
| | |
| ==Algebraic curves in the plane==
| |
| Algebraic curves in the plane may be defined as the set of points (''x'', ''y'') satisfying an equation of the form ''f''(''x'', ''y'')=0, where ''f'' is a [[polynomial]] function ''f'':'''R'''<sup>2</sup>→'''R'''. If ''f'' is expanded as
| |
| :<math>f=a_0+b_0x+b_1y+c_0x^2+2c_1xy+c_2y^2+\dots\,</math>
| |
| If the origin (0, 0) is on the curve then a<sub>0</sub>=0. If b<sub>1</sub>≠0 then the [[implicit function theorem]] guarantees there is a smooth function ''h'' so that the curve has the form ''y''=''h''(''x'') near the origin. Similarly, if b<sub>0</sub>≠0 then there is a smooth function ''k'' so that the curve has the form ''x''=''k''(''y'') near the origin. In either case, there is a smooth map from '''R''' to the plane which defines the curve in the neighborhood of the origin. Note that at the origin
| |
| :<math>b_0={\partial f\over\partial x},\,b_1={\partial f\over\partial y},</math>
| |
| so the curve is non-singular or ''regular'' at the origin if at least one of the [[partial derivative]]s of ''f'' is non-zero. The singular points are those points on the curve where both partial derivatives vanish,
| |
| :<math>f(x,y)={\partial f\over\partial x}={\partial f\over\partial y}=0.</math>
| |
| | |
| ===Regular points===
| |
| Assume the curve passes through the origin and write ''y''=''mx''. Then ''f'' can be written
| |
| :<math>f=(b_0+mb_1)x+(c_0+2mc_1+c_2m^2)x^2+\dots.\,</math>
| |
| If ''b''<sub>0</sub>+''mb''<sub>1</sub> is not 0 then ''f''=0 has a solution of multiplicity 1 at ''x''=0 and the origin is a point of single contact with line ''y''=''mx''. If ''b''<sub>0</sub>+''mb''<sub>1</sub>=0 then ''f''=0 has a solution of multiplicity 2 or higher and the line ''y''=''mx'', or ''b''<sub>0</sub>x+''b''<sub>1</sub>y=0, is tangent to the curve. In this case, if ''c''<sub>0</sub>+2''mc''<sub>1</sub>+c<sub>2</sub>''m''<sup>2</sup> is not 0 then the curve has a point of double contact with ''y''=''mx''. If the coefficient of ''x''<sup>2</sup>, ''c''<sub>0</sub>+2''mc''<sub>1</sub>+c<sub>2</sub>''m''<sup>2</sup>, is 0 but the coefficient of ''x''<sup>3</sup> is not then the origin is a [[Inflection point|point of inflection]] of the curve. If the coefficient of ''x''<sup>2</sup> and ''x''<sup>3</sup> are both 0 then the origin is called ''point of undulation'' of the curve. This analysis can be applied to any point on the curve by translating the coordinate axes so that the origin is at the given point.<ref>Hilton Chapter II §1</ref>
| |
| | |
| ===Double points===
| |
| [[Image:Limacons.svg|thumb|500px|none|Three [[limaçon]]s illustrating the types of double point. The left curve has an acnode at the origin, which is an isolated point in the plane. The central curve, the [[cardioid]], has a cusp at the origin. The right curve has a crunode at the origin and the curve crosses itself to form a loop.]]
| |
| If ''b''<sub>0</sub> and ''b''<sub>1</sub> are both 0 in the above expansion, but at least one of ''c''<sub>0</sub>, ''c''<sub>1</sub>, ''c''<sub>2</sub> is not 0 then the origin is called a double point of the curve. Again putting ''y''=''mx'', ''f'' can be written
| |
| :<math>f=(c_0+2mc_1+c_2m^2)x^2+(d_0+3md_1+3m^2d_2+d_3m^3)x^3+\dots.\,</math>
| |
| Double points can be classified according to the solutions of ''c''<sub>0</sub>+''2mc''<sub>1</sub>+''m<sup>2</sup>c''<sub>2</sub>=0.
| |
| | |
| ====Crunodes====
| |
| If ''c''<sub>0</sub>+''2mc''<sub>1</sub>+''m<sup>2</sup>c''<sub>2</sub>=0 has two real solutions for ''m'', that is if ''c''<sub>0</sub>''c''<sub>2</sub>−''c''<sub>1</sub><sup>2</sup><0, then the origin is called a [[crunode]]. The curve in this case crosses itself at the origin and has two distinct tangents corresponding to the two solutions of ''c''<sub>0</sub>+''2mc''<sub>1</sub>+''m<sup>2</sup>c''<sub>2</sub>=0. The function ''f'' has a [[saddle point]] at the origin in this case.
| |
| | |
| ====Acnodes====
| |
| If ''c''<sub>0</sub>+''2mc''<sub>1</sub>+''m''<sup>2</sup>''c''<sub>2</sub>=0 has no real solutions for ''m'', that is if ''c''<sub>0</sub>''c''<sub>2</sub>−''c''<sub>1</sub><sup>2</sup>>0, then the origin is called an [[acnode]]. In the real plane the origin is an [[isolated point]] on the curve, however when considered as a complex curve the origin is not isolated and has two imaginary tangents corresponding to the two complex solutions of ''c''<sub>0</sub>+''2mc''<sub>1</sub>+''m''<sup>2</sup>''c''<sub>2</sub>=0. The function ''f'' has a [[Maxima and minima|local extremum]] at the origin in this case.
| |
| | |
| ====Cusps====
| |
| If ''c''<sub>0</sub>+''2mc''<sub>1</sub>+''m''<sup>2</sup>''c''<sub>2</sub>=0 has a single solution of multiplicity 2 for ''m'', that is if ''c''<sub>0</sub>''c''<sub>2</sub>−''c''<sub>1</sub><sup>2</sup>=0, then the origin is called a [[cusp (singularity)|cusp]]. The curve in this case changes direction at the origin creating a sharp point. The curve has a single tangent at the origin which may be considered as two coincident tangents.
| |
| | |
| ====Further classification====
| |
| The term ''node'' is used indicate either a crunode or an acnode, in other words a double point which is not a cusp. The number of nodes and the number of cusps on a curve are two of the invariants used in the [[Plücker formula]]s.
| |
| | |
| If one of the solutions of ''c''<sub>0</sub>+''2mc''<sub>1</sub>+''m<sup>2</sup>c''<sub>2</sub>=0 is also a solution of ''d''<sub>0</sub>+''3md''<sub>1</sub>+''3m''<sup>2</sup>''d''<sub>2</sub>+''m''<sup>3</sup>''d''<sub>3</sub>=0 then the corresponding branch of the curve has a point of inflection at the origin. In this case the origin is called a ''flecnode''. If both tangents have this property, so ''c''<sub>0</sub>+''2mc''<sub>1</sub>+''m<sup>2</sup>c''<sub>2</sub> is a factor of ''d''<sub>0</sub>+''3md''<sub>1</sub>+''3m''<sup>2</sup>''d''<sub>2</sub>+''m''<sup>3</sup>''d''<sub>3</sub>, then the origin is called a ''biflecnode''.<ref>Hilton Chapter II §2</ref>
| |
| | |
| ===Multiple points===
| |
| [[Image:3 Petal rose.svg|thumb|200px|right|A curve with a triple point at the origin.]]
| |
| In general, if all the terms of degree less than ''k'' are 0, and at least one term of degree ''k'' is not 0 in ''f'', then curve is said to have a ''multiple point'' of order ''k'' or a ''k-ple point''. The curve will have, in general, ''k'' tangents at the origin though some of these tangents may be imaginary.<ref>Hilton Chapter II §3</ref>
| |
| | |
| ==Parametric curves==
| |
| A [[Parametric equation|parameterized]] curve in ''R''<sup>2</sup> is defined as the image of a function ''g'':'''R'''→'''R'''<sup>2</sup>, ''g''(''t'') = (''g''<sub>1</sub>(''t''),''g''<sub>2</sub>(''t'')). The singular points are those points where
| |
| : <math>{dg_1\over dt}={dg_2\over dt}=0.</math>
| |
| | |
| [[Image:cusp.svg|thumb|right|200px|A cusp]]
| |
| Many curves can be defined in either fashion, but the two definitions may not agree. For example the [[cusp (singularity)|cusp]] can be defined as an algebraic curve, ''x''<sup>3</sup>−''y''<sup>2</sup> = 0, or as a parametrised curve, ''g''(''t'') = (''t''<sup>2</sup>,''t''<sup>3</sup>). Both definitions give a singular point at the origin. However, a [[crunode|node]] such as that of ''y''<sup>2</sup>−''x''<sup>3</sup>−''x''<sup>2</sup> = 0 at the origin is a singularity of the curve considered as an algebraic curve, but if we parameterize it as ''g''(''t'') = (''t''<sup>2</sup>−1,''t''(''t''<sup>2</sup>−1)), then ''g''′(''t'') never vanishes, and hence the node is ''not'' a singularity of the parameterized curve as defined above.
| |
| | |
| Care needs to be taken when choosing a parameterization. For instance the straight line ''y'' = 0 can be parameterised by ''g''(''t'') = (''t''<sup>3</sup>,0) which has a singularity at the origin. When parametrised by ''g''(''t'') = (''t'',0) it is nonsingular. Hence, it is technically more correct to discuss [[singular points of a smooth mapping]] rather than a singular point of a curve.
| |
| | |
| The above definitions can be extended to cover ''[[Implicit function|implicit]] curves'' which are defined as the zero set ''f''<sup>−1</sup>(0) of a [[smooth function]], and it is not necessary just to consider algebraic varieties. The definitions can be extended to cover curves in higher dimensions.
| |
| | |
| A theorem of [[Hassler Whitney]] <ref>Brooker and Larden, ''Differential Germs and Catastrophes'', London Mathematical Society. Lecture Notes 17. Cambridge, (1975)</ref><ref>Bruce and Giblin, ''Curves and singularities'', (1984, 1992) ISBN 0-521-41985-9, ISBN 0-521-42999-4 (paperback)</ref> states
| |
| :'''Theorem'''. Any closed set in '''R'''<sup>n</sup> occurs as the solution set of ''f''<sup>−1</sup>(0) for some '''smooth''' function f:'''R'''<sup>n</sup>→'''R'''.
| |
| Any parameterized curve can also be defined as an implicit curve, and the classification of singular points of curves can be studied as a classification of [[singular point of an algebraic variety]].
| |
| | |
| ==Types of singular points==
| |
| Some of the possible singularities are:
| |
| *An isolated point: ''x''<sup>2</sup>+''y''<sup>2</sup> = 0, an [[acnode]]
| |
| *Two lines crossing: ''x''<sup>2</sup>−''y''<sup>2</sup> = 0, a [[crunode]]
| |
| *A [[Cusp (singularity)|cusp]]: ''x''<sup>3</sup>−''y''<sup>2</sup> = 0, also called a ''spinode''
| |
| *A rhamphoid cusp: ''x''<sup>5</sup>−''y''<sup>2</sup> = 0.
| |
| | |
| ==See also==
| |
| *[[Singularity theory]]
| |
| *[[Morse theory]]
| |
| | |
| ==References==
| |
| <references/>
| |
| *{{cite book |title=Plane Algebraic Curves|first=Harold|last=Hilton|publisher=Oxford|year=1920
| |
| |chapter=Chapter II: Singular Points|url=http://www.archive.org/stream/cu31924001544216#page/n37/mode/1up}}
| |
| | |
| [[Category:Curves]]
| |
| [[Category:Algebraic curves]]
| |
| [[Category:Singularity theory]]
| |
Alyson Meagher is the title her parents gave her but accurate psychic predictions, cspl.postech.ac.kr, she doesn't like when individuals use her full name. I've always loved living in Kentucky but now I'm contemplating other choices. What me and my family adore is bungee leaping but I've been taking on new things lately. online psychic reading Since I was eighteen I've been operating as a bookkeeper but quickly my wife and I will start our personal business.
Here is my web-site - authentic psychic readings