polarity

Definition 1.

•
Given finite dimensional vector spaces $V$ and $W$ , a duality of the projective geometry $PG(V)$ to $PG(W)$ is an order-reversing bijection $f:PG(V)\\rightarrow PG(W)$ . If $W=V$ then we can refer to $f$ as a correlation.
•
A correlation of order $2$ is called a polarity.
•
The set of correlations and collineations $f:PG(V)\\rightarrow PG(V)$ form a group denoted $P\\Gamma L^{*}(V)$ with the operation of composition.

Remark 2.

Dualities are determined by where they map collinear triples. Given a mapdefine on the points of $PG(V)$ to the hyperplanes of $PG(W)$ which maps collinear triples to triples of hyperplanes which intersect in a codimension 2 subspace, this specifies a unique duality.

Remark 3.

A polarity/duality necessarily interchanges points with hyperplanes. In this context points are called “poles” and hyperplanes “polars.”

An alternative definition of a duality is a projectivity (order-preserving map) $f:PG(V)\\rightarrow PG(V^{*})$ .

Through the use of the fundamental theorem of projective geometry, dualities and polarities can be identified with non-degenerate sesquilinear forms. (See Polarities and forms (http://planetmath.org/PolaritiesAndForms).)

单词	Polarity
释义	polarity Definition 1. • Given finite dimensional vector spaces $V$ and $W$ , a duality of the projective geometry $PG(V)$ to $PG(W)$ is an order-reversing bijection $f:PG(V)\\rightarrow PG(W)$ . If $W=V$ then we can refer to $f$ as a correlation. • A correlation of order $2$ is called a polarity. • The set of correlations and collineations $f:PG(V)\\rightarrow PG(V)$ form a group denoted $P\\Gamma L^{}(V)$ with the operation of composition. Remark 2. Dualities are determined by where they map collinear triples. Given a mapdefine on the points of $PG(V)$ to the hyperplanes of $PG(W)$ which maps collinear triples to triples of hyperplanes which intersect in a codimension 2 subspace, this specifies a unique duality. Remark 3. A polarity/duality necessarily interchanges points with hyperplanes. In this context points are called “poles” and hyperplanes “polars.” An alternative definition of a duality is a projectivity (order-preserving map) $f:PG(V)\\rightarrow PG(V^{})$ . Through the use of the fundamental theorem of projective geometry, dualities and polarities can be identified with non-degenerate sesquilinear forms. (See Polarities and forms (http://planetmath.org/PolaritiesAndForms).)
随便看	space of rapidly decreasing functions SpacesHomeomorphicToBaireSpace spaces homeomorphic to Baire space Spam spam Span span SpanningSetsOfDualSpace spanning sets of dual space SpanningTree spanning tree SparkOfAMatrix spark of a matrix SparselyTotientNumber sparsely totient number SpecialCaseOfDirichletsTheoremOnPrimesInArithmeticProgressions special case of Dirichlet’s theorem on primes in arithmetic progressions SpecialCasesOfHypergeometricFunction special cases of hypergeometric function SpecialElementsInACalgebraAndTheirSpectralProperties special elements in a C^*-algebra and their spectral properties SpecialElementsInALattice special elements in a lattice SpecialElementsInARelationAlgebra special elements in a relation algebra