Exchangeable random variables: Difference between revisions

From formulasearchengine
Jump to navigation Jump to search
en>Kiefer.Wolfowitz
m →‎References: * Aldous, David J., ''Exchangeability and related topics'', in: École d'Été de Probabilités de Saint-Flour XIII — 1983, Lecture Notes in Math. 1117, pp. 1–198, Springer, Berlin, 1985. ISBN 978-3-540-15203-3 {{doi|10.1...
 
en>EFZR090440
Line 1: Line 1:
Friends contact her Felicidad and her husband doesn't like it at all. Interviewing is what she does. Arizona is her beginning place and she will never transfer. To maintain birds is one of the issues he loves most.<br><br>my web page ... [http://Www.Rulecubed.com/blogs/post/9981 car warranty]
{{About|a concept in algebraic geometry|concept in aviation that goes by that name|Polar curve (aviation)|curves given in polar coordinates|Polar coordinate system#Polar equation of a curve}}
[[Image:PolarEllipticCurvePlot.svg|thumb|300px|right|The [[elliptic curve]] ''E''&nbsp;:&nbsp;4''Y''<sup>2</sup>Z&nbsp;=&nbsp;''X''<sup>3</sup>&nbsp;&minus;&nbsp;''XZ''<sup>2</sup> in blue, and its polar curve (''E'')&nbsp;:&nbsp;4''Y''<sup>2</sup>&nbsp;=&nbsp;2.7''X''<sup>2</sup>&nbsp;&minus;&nbsp;2''XZ''&nbsp;&minus;&nbsp;0.9Z<sup>2</sup> for the point ''Q''&nbsp;=&nbsp;(0.9,&nbsp;0) in red. The black lines show the tangents to ''E'' at the intersection points of ''E'' and its first polar with respect to ''Q'' meeting at ''Q''.]]
 
In [[algebraic geometry]], the '''first polar''', or simply '''polar''' of an [[algebraic plane curve]] ''C'' of degree ''n'' with respect to a point ''Q'' is an algebraic curve of degree ''n''−1 which contains every point of ''C'' whose tangent line passes through ''Q''. It is used to investigate the relationship between the curve and its [[Dual curve|dual]], for example in the derivation of the [[Plücker formula]]s.
 
==Definition==
Let ''C'' be defined in [[homogeneous coordinates]] by ''f''(''x,&nbsp;y,&nbsp;z'')&nbsp;=&nbsp;0 where ''f'' is a [[homogeneous polynomial]] of degree ''n'', and let the homogeneous coordinates of ''Q'' be (''a'',&nbsp;''b'',&nbsp;''c''). Define the operator
:<math>\Delta_Q = a{\partial\over\partial x}+b{\partial\over\partial y}+c{\partial\over\partial z}.</math>
Then Δ<sub>''Q''</sub>''f'' is a homogeneous polynomial of degree ''n''−1 and Δ<sub>''Q''</sub>''f''(''x,&nbsp;y,&nbsp;z'')&nbsp;=&nbsp;0 defines a curve of degree ''n''−1 called the ''first polar'' of ''C'' with respect of ''Q''.
 
If ''P''=(''p'',&nbsp;''q'',&nbsp;''r'') is a [[Singular point of an algebraic variety|non-singular point]] on the curve ''C'' then the equation of the tangent at ''P'' is
:<math>x{\partial f\over\partial x}(p, q, r)+y{\partial f\over\partial y}(p, q, r)+z{\partial f\over\partial z}(p, q, r)=0.</math>
In particular, ''P'' is on the intersection of ''C'' and its first polar with respect to ''Q'' if and only if ''Q'' is on the tangent to ''C'' at ''P''. Note also that for a double point of ''C'', the partial derivatives of ''f'' are all 0 so the first polar contains these points as well.
 
==Class of a curve==
The ''class'' of ''C'' may be defined as the number of tangents that may be drawn to ''C'' from a point not on ''C'' (counting multiplicities and including imaginary tangents). Each of these tangents touches ''C'' at one of the points of intersection of ''C'' and the first polar, and by [[Bézout's theorem]] theorem there are at most ''n''(''n''−1) of these. This puts an upper bound of ''n''(''n''−1) on the class of a curve of degree ''n''. The class may be computed exactly by counting the number and type of singular points on ''C'' (see [[Plücker formula]]).
 
==Higher polars==
The ''p-th'' polar of a ''C'' for an natural number ''p'' is defined as Δ<sub>''Q''</sub><sup>''p''</sup>''f''(''x,&nbsp;y,&nbsp;z'')&nbsp;=&nbsp;0. This is a curve of degree ''n''−''p''. When ''p'' is ''n''−1 the ''p''-th polar is a line called the ''polar line'' of ''C'' with respect to ''Q''. Similarly, when ''p'' is ''n''−2 the curve is called the ''polar conic'' of ''C''.
 
Using [[Taylor series]] in several variables and exploiting homogeneity, ''f''(λ''a''+μ''p'',&nbsp;λ''b''+μ''q'',&nbsp;λ''c''+μ''r'') can be expanded in two ways as
:<math>\mu^nf(p, q, r) + \lambda\mu^{n-1}\Delta_Q f(p, q, r) + \frac{1}{2}\lambda^2\mu^{n-2}\Delta_Q^2 f(p, q, r)+\dots</math>
and
:<math>\lambda^nf(a, b, c) + \mu\lambda^{n-1}\Delta_P f(a, b, c) + \frac{1}{2}\mu^2\lambda^{n-2}\Delta_P^2 f(a, b, c)+\dots .</math>
Comparing coefficients of λ<sup>''p''</sup>μ<sup>''n''−''p''</sup> shows that
:<math>\frac{1}{p!}\Delta_Q^p f(p, q, r)=\frac{1}{(n-p)!}\Delta_P^{n-p} f(a, b, c).</math>
In particular, the ''p''-th polar of ''C'' with respect to ''Q'' is the locus of points ''P'' so that the (''n''−''p'')-th polar of ''C'' with respect to ''P'' passes through ''Q''.<ref>Follows Salmon pp. 49-50 but essentially the same argument with different notation is given in Basset pp. 16-17.</ref>
 
==Poles==
If the polar line of ''C'' with respect to a point ''Q'' is a line ''L'', the ''Q'' is said to be a ''pole'' of ''L''. A given line has (''n''−1)<sup>2</sup> poles (counting multiplicities etc.) where ''n'' is the degree of ''C''. So see this, pick two points ''P'' and ''Q'' on ''L''. The locus of points whose polar lines pass through ''P'' is the first polar of ''P'' and this is a curve of degree ''n''−''1''. Similarly, the locus of points whose polar lines pass through ''Q'' is the first polar of ''Q'' and this is also a curve of degree ''n''−''1''. The polar line of a point is ''L'' if and only if it contains both ''P'' and ''Q'', so the poles of ''L'' are exactly the points of intersection of the two first polars. By Bézout's theorem these curves have (''n''−1)<sup>2</sup> points of intersection and these are the poles of ''L''.<ref>Basset p. 20, Salmon p. 51</ref>
 
==The Hessian==
For a given point ''Q''=(''a'',&nbsp;''b'',&nbsp;''c''), the polar conic is the locus of points ''P'' so that ''Q'' is on the second polar of ''P''. In other words the equation of the polar conic is
:<math>\Delta_{(x, y, z)}^2 f(a, b, c)=x^2{\partial^2 f\over\partial x^2}(a, b, c)+2xy{\partial^2 f\over\partial x\partial y}(a, b, c)+\dots=0.</math>
The conic is degenerate if and only if the determinant of the [[Hessian matrix|Hessian]] of ''f'',
:<math>H(f) = \begin{bmatrix}
\frac{\partial^2 f}{\partial x^2} & \frac{\partial^2 f}{\partial x\,\partial y} & \frac{\partial^2 f}{\partial x\,\partial z} \\  \\
\frac{\partial^2 f}{\partial y\,\partial x} & \frac{\partial^2 f}{\partial y^2} & \frac{\partial^2 f}{\partial y\,\partial z} \\  \\
\frac{\partial^2 f}{\partial z\,\partial x} & \frac{\partial^2 f}{\partial z\,\partial y} & \frac{\partial^2 f}{\partial z^2}
\end{bmatrix},</math>
vanishes. Therefore the equation |''H''(''f'')|=0 defines a curve, the locus of points whose polar conics are degenerate, of degree 3(''n''−''2'') called the ''Hessian curve'' of ''C''.
 
== See also ==
* [[Polar hypersurface]]
* [[Pole and polar]]
 
==References==
{{reflist}}
*{{cite book |title=An Elementary Treatise on Cubic and Quartic Curves
|first=Alfred Barnard |last=Basset|publisher=Deighton Bell & Co.|year=1901|pages=16ff.
|url=http://books.google.com/books?id=yUxtAAAAMAAJ}}
*{{cite book |title=Higher Plane Curves
|first=George|last=Salmon|publisher=Hodges, Foster, and Figgis|year=1879|pages=49ff.
|url=http://www.archive.org/details/treatiseonhigher00salmuoft
|authorlink=George Salmon}}
*Section 1.2 of Fulton, ''Introduction to intersection theory in algebraic geometry'', CBMS, AMS, 1984.
*{{springer|title=Polar|id=P/p073400|last=Ivanov|first=A.B.}}
*{{springer|title=Hessian (algebraic curve)|id=H/h047150|last=Ivanov|first=A.B.}}
 
{{Algebraic curves navbox}}
 
[[Category:Algebraic curves]]

Revision as of 04:00, 6 August 2013

29 yr old Orthopaedic Surgeon Grippo from Saint-Paul, spends time with interests including model railways, top property developers in singapore developers in singapore and dolls. Finished a cruise ship experience that included passing by Runic Stones and Church.

The elliptic curve E : 4Y2Z = X3 − XZ2 in blue, and its polar curve (E) : 4Y2 = 2.7X2 − 2XZ − 0.9Z2 for the point Q = (0.9, 0) in red. The black lines show the tangents to E at the intersection points of E and its first polar with respect to Q meeting at Q.

In algebraic geometry, the first polar, or simply polar of an algebraic plane curve C of degree n with respect to a point Q is an algebraic curve of degree n−1 which contains every point of C whose tangent line passes through Q. It is used to investigate the relationship between the curve and its dual, for example in the derivation of the Plücker formulas.

Definition

Let C be defined in homogeneous coordinates by f(x, y, z) = 0 where f is a homogeneous polynomial of degree n, and let the homogeneous coordinates of Q be (abc). Define the operator

Then ΔQf is a homogeneous polynomial of degree n−1 and ΔQf(x, y, z) = 0 defines a curve of degree n−1 called the first polar of C with respect of Q.

If P=(pqr) is a non-singular point on the curve C then the equation of the tangent at P is

In particular, P is on the intersection of C and its first polar with respect to Q if and only if Q is on the tangent to C at P. Note also that for a double point of C, the partial derivatives of f are all 0 so the first polar contains these points as well.

Class of a curve

The class of C may be defined as the number of tangents that may be drawn to C from a point not on C (counting multiplicities and including imaginary tangents). Each of these tangents touches C at one of the points of intersection of C and the first polar, and by Bézout's theorem theorem there are at most n(n−1) of these. This puts an upper bound of n(n−1) on the class of a curve of degree n. The class may be computed exactly by counting the number and type of singular points on C (see Plücker formula).

Higher polars

The p-th polar of a C for an natural number p is defined as ΔQpf(x, y, z) = 0. This is a curve of degree np. When p is n−1 the p-th polar is a line called the polar line of C with respect to Q. Similarly, when p is n−2 the curve is called the polar conic of C.

Using Taylor series in several variables and exploiting homogeneity, fap, λbq, λcr) can be expanded in two ways as

and

Comparing coefficients of λpμnp shows that

In particular, the p-th polar of C with respect to Q is the locus of points P so that the (np)-th polar of C with respect to P passes through Q.[1]

Poles

If the polar line of C with respect to a point Q is a line L, the Q is said to be a pole of L. A given line has (n−1)2 poles (counting multiplicities etc.) where n is the degree of C. So see this, pick two points P and Q on L. The locus of points whose polar lines pass through P is the first polar of P and this is a curve of degree n1. Similarly, the locus of points whose polar lines pass through Q is the first polar of Q and this is also a curve of degree n1. The polar line of a point is L if and only if it contains both P and Q, so the poles of L are exactly the points of intersection of the two first polars. By Bézout's theorem these curves have (n−1)2 points of intersection and these are the poles of L.[2]

The Hessian

For a given point Q=(abc), the polar conic is the locus of points P so that Q is on the second polar of P. In other words the equation of the polar conic is

The conic is degenerate if and only if the determinant of the Hessian of f,

vanishes. Therefore the equation |H(f)|=0 defines a curve, the locus of points whose polar conics are degenerate, of degree 3(n2) called the Hessian curve of C.

See also

References

43 year old Petroleum Engineer Harry from Deep River, usually spends time with hobbies and interests like renting movies, property developers in singapore new condominium and vehicle racing. Constantly enjoys going to destinations like Camino Real de Tierra Adentro.

  • 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.

    My blog: http://www.primaboinca.com/view_profile.php?userid=5889534
  • 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.

    My blog: http://www.primaboinca.com/view_profile.php?userid=5889534
  • Section 1.2 of Fulton, Introduction to intersection theory in algebraic geometry, CBMS, AMS, 1984.
  • Other Sports Official Kull from Drumheller, has hobbies such as telescopes, property developers in singapore and crocheting. Identified some interesting places having spent 4 months at Saloum Delta.

    my web-site http://himerka.com/
  • Other Sports Official Kull from Drumheller, has hobbies such as telescopes, property developers in singapore and crocheting. Identified some interesting places having spent 4 months at Saloum Delta.

    my web-site http://himerka.com/

Template:Algebraic curves navbox

  1. Follows Salmon pp. 49-50 but essentially the same argument with different notation is given in Basset pp. 16-17.
  2. Basset p. 20, Salmon p. 51