Transversality

Transversality

Transversality in mathematics is a notion that describes how spaces can intersect; transversality can be seen as the "opposite" of tangency, and plays a role in general position. It formalizes the idea of a generic intersection in differential topology. It is defined by considering the linearizations of the intersecting spaces at the points of intersection.

Definition

Two submanifolds of a given finite dimensional smooth manifold are said to intersect transversally if at every point of intersection, their separate tangent spaces at that point together generate the tangent space of the ambient manifold at that point. Manifolds that do not intersect are vacuously transverse. If the manifolds are of complementary dimension (i.e., their dimensions add up to the dimension of the ambient space), the condition means that the tangent space to the ambient manifold is the direct sum of the two smaller tangent spaces. If an intersection is transverse, then the intersection will be a submanifold whose codimension is equal to the sums of the codimensions of the two manifolds. In the absence of the transversality condition the intersection may fail to be a submanifold, having some sort of singular point.

In particular, this means that transverse submanifolds of complementary dimension intersect in isolated points (i.e., a 0-manifold). If both submanifolds and the ambient manifold are oriented, their intersection is oriented. When the intersection is zero-dimensional, the orientation is simply a plus or minus for each point.

Transversality of maps

The notion of transversality of a pair of submanifolds is easily extended to transversality of a submanifold and a map to the ambient manifold, or to a pair of maps to the ambient manifold, by asking whether the pushforwards of the tangent spaces at points of intersection of the images generate the entire tangent space of the ambient manifold. If the maps are embeddings, this is equivalent to transversality of submanifolds.

Meaning of transversality for different dimensions

Suppose we have transversal maps f_1: L_1 o M and f_2: L_2 o M where L_1, L_2 ext{ and } M are manifolds with dimensions l_1, l_2 ext{ and } m respectively.

The meaning of transversality differs a lot depending on the relative dimensions of M, L_1 and L_2. In particular the interpretation of transverse as an opposite of tangential only really makes sense when l_1 + l_2 = m .

We can consider three separate cases:
#When l_1 + l_2 < m , it is impossible for the image of L_1 and L_2's tangent spaces to span M's tangent space at any point. Thus f_1 and f_2 cannot intersect.
#When l_1 + l_2 = m, the image of L_1 and L_2's tangent spaces must sum directly to M's tangent space at any point of intersection.
#When l_2 + l_2 > m this sum needn't be direct. In fact it "cannot" be direct if f_1 and f_2 are immersions at their point of intersection, as happens in the case of embedded submanifolds.

Intersection product

Given any two smooth submanifolds, it is possible to perturb either of them by an arbitrarily small amount such that the resulting submanifold intersects transversally with the fixed submanifold. Such perturbations do not affect the homology class of the manifolds or of their intersections. Thus, if manifolds of complementary dimension intersect transversally, the signed sum of the number of their intersection points does not change even if we isotope the manifolds to another transverse intersection. (The intersection points can be counted modulo 2, ignoring the signs, to obtain a coarser invariant.) This generalizes to a bilinear intersection product on homology classes of any dimension, which is Poincaré dual to the cup product on cohomology. Like the cup product, the intersection product is graded-commutative.

Examples of transverse intersections

The simplest non-trivial example of transversality is of arcs in a surface. An intersection point between two arcs is transverse if and only if it is not a tangency, i.e., their tangent lines inside the tangent plane to the surface are distinct.

In a three-dimensional space, transverse curves do not intersect. Curves transverse to surfaces intersect in points, and surfaces transverse to each other intersect in curves. Curves that are tangent to a surface at a point (for instance, curves lying on a surface) do not intersect the surface transversally.

Applications

Optimal control

In fields utilizing the calculus of variations or the related Pontryagin maximum principle, the transversality condition is frequently used to control the types of solutions found in optimization problems. For example, it is a necessary condition for solution curves to problems of the form:

:Minimize int F(x, y, y^prime) dx where one or both of the endpoints of the curve are not fixed. In many of these problems, the solution satisfies the condition that the solution curve should cross transversally the nullcline or some other curve describing terminal conditions.


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать курсовую

Look at other dictionaries:

  • transversality —    by Adam Bryx and Gary Genosko   A critical concept for literary criticism, transversality is introduced by Deleuze in the second edition of Proust and Signs. The concept concerns the kind of communication proper to the transversal dimension of …   The Deleuze dictionary

  • transversality —    by Adam Bryx and Gary Genosko   A critical concept for literary criticism, transversality is introduced by Deleuze in the second edition of Proust and Signs. The concept concerns the kind of communication proper to the transversal dimension of …   The Deleuze dictionary

  • transversality — skersumas statusas T sritis fizika atitikmenys: angl. transversality vok. Transversalität, f rus. поперечность, f pranc. transversalité, f …   Fizikos terminų žodynas

  • transversality condition — skersumo sąlyga statusas T sritis fizika atitikmenys: angl. transversality condition vok. Transversalitätsbedingung, f rus. условие поперечности, n pranc. condition de transversalité, f …   Fizikos terminų žodynas

  • transversality — noun a property of two intersecting submanifolds, where at every intersection point, their separate tangent spaces at that point together generate the tangent space of the ambient manifold at that point. See Also: transverse, transversal,… …   Wiktionary

  • transversality — transversalˈity noun • • • Main Entry: ↑transverse …   Useful english dictionary

  • transversality condition — noun A terminal condition on a costate variable in a, usually infinite, time optimization problem …   Wiktionary

  • Whitney conditions — In differential topology, a branch of mathematics, the Whitney conditions are conditions on a pair of submanifolds of a manifold introduced by Hassler Whitney in 1965. A finite filtration by closed subsets F i of a smooth manifold such that the… …   Wikipedia

  • Atiyah–Bott fixed-point theorem — In mathematics, the Atiyah–Bott fixed point theorem, proven by Michael Atiyah and Raoul Bott in the 1960s, is a general form of the Lefschetz fixed point theorem for smooth manifolds M , which uses an elliptic complex on M . This is a system of… …   Wikipedia

  • Chow ring — In algebraic geometry, the Chow ring (named after W. L. Chow) of an algebraic variety is an algebraic geometric analogue of the cohomology ring of the variety considered as a topological space: its elements are formed out of actual subvarieties… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”