Tangential and normal components

Tangential and normal components
Illustration of tangential and normal components of a vector to a surface.

In mathematics, given a vector at a point on a curve, that vector can be decomposed uniquely as a sum of two vectors, one tangent to the curve, called the tangential component of the vector, and another one perpendicular to the curve, called the normal component of the vector. Similarly a vector at a point on a surface can be broken down the same way.

More generally, given a submanifold N of a manifold M, and a vector in the tangent space to M at a point of N, it can be decomposed into the component tangent to N and the component normal to N.

Contents

Formal definition

Surface

More formally, let S be a surface, and x be a point on the surface. Let \mathbf{v} be a vector at x. Then one can write uniquely \mathbf{v} as a sum

\mathbf{v}=\mathbf{v}_{\parallel}+\mathbf{v}_\perp

where the first vector in the sum is the tangential component and the second one is the normal component. It follows immediately that these two vectors are perpendicular to each other.

To calculate the tangential and normal components, consider a unit normal to the surface, that is, a unit vector \hat{n} perpendicular to S at x. Then,

\mathbf{v}_\perp = (\mathbf{v}\cdot\hat{n})\hat{n}

and thus

\mathbf{v}_\parallel = \mathbf{v} - \mathbf{v}_\perp

where "\cdot" denotes the dot product. Another formula for the tangential component is

\mathbf{v}_\parallel = -\hat{n}\times(\hat{n}\times\mathbf{v}),

where "\times" denotes the cross product.

Note that these formulas do not depend on the particular unit normal \hat{n} used (there exist two unit normals to any surface at a given point, pointing in opposite directions, so one of the unit normals is the negative of the other one).

Submanifold

More generally, given a submanifold N of a manifold M and a point p \in N, we get a short exact sequence involving the tangent spaces:

T_p N \to T_p M \to T_p M / T_p N

The quotient space TpM / TpN is a generalized space of normal vectors.

If M is a Riemannian manifold, the above sequence splits, and the tangent space of M at p decomposes as a direct sum of the component tangent to N and the component normal to N:

T_p M = T_p N \oplus N_p N := (T_p N)^\perp

Thus every tangent vector v \in T_p M splits as v = v_\parallel + v_\perp, where v_\parallel \in T_p N and v_\perp \in N_p N := (T_p N)^\perp.

Computations

Suppose N is given by non-degenerate equations.

If N is given explicitly, via parametric equations (such as a parametric curve), then the derivative gives a spanning set for the tangent bundle (it's a basis if and only if the parametrization is an immersion).

If N is given implicitly (as in the above description of a surface, or more generally as a hypersurface) as a level set or intersection of level surfaces for gi, then the gradients of gi span the normal space.

In both cases, we can again compute using the dot product; the cross product is special to 3 dimensions though.

Applications

References

  • Rojansky, Vladimir (1979). Electromagnetic fields and waves. New York: Dover Publications. ISBN 0486638340. 

Wikimedia Foundation. 2010.

Игры ⚽ Нужна курсовая?

Look at other dictionaries:

  • Shocks and discontinuities (magnetohydrodynamics) — Shocks and discontinuities are transition layers where the plasma properties change from one equilibrium state to another. The relation between the plasma properties on both sides of a shock or a discontinuity can be obtained from the… …   Wikipedia

  • Euclidean vector — This article is about the vectors mainly used in physics and engineering to represent directed quantities. For mathematical vectors in general, see Vector (mathematics and physics). For other uses, see vector. Illustration of a vector …   Wikipedia

  • Gauss–Codazzi equations — In Riemannian geometry, the Gauss–Codazzi–Mainardi equations are fundamental equations in the theory of embedded hypersurfaces in a Euclidean space, and more generally submanifolds of Riemannian manifolds. They also have applications for embedded …   Wikipedia

  • List of mathematics articles (T) — NOTOC T T duality T group T group (mathematics) T integration T norm T norm fuzzy logics T schema T square (fractal) T symmetry T table T theory T.C. Mits T1 space Table of bases Table of Clebsch Gordan coefficients Table of divisors Table of Lie …   Wikipedia

  • Design and manufacturing of gears — Gear design is the process of designing a gear. Designing is done prior to manufacturing and includes calculation of the gear geometry, taking into account gear strength, wear characteristic of the gear teeth, material selection, gear alignment… …   Wikipedia

  • Component — may refer to: Usage Component may refer to: System components, the constituents of a system Electronic components, the constituents of electronic circuits Component ingredient, the main ingredient in a dish Component video, a type of analog video …   Wikipedia

  • Pedal curve — Geometric construction of the pedal of C with respect to P In the differential geometry of curves, a pedal curve is a curve derived by construction from a given curve (as is, for example, the involute). Let C be a given curve and P a fixed point… …   Wikipedia

  • Introduction to mathematics of general relativity — An understanding of calculus and differential equations is necessary for the understanding of nonrelativistic physics. In order to understand special relativity one also needs an understanding of tensor calculus. To understand the general theory… …   Wikipedia

  • Centripetal force — Not to be confused with Centrifugal force. Classical mechanics Newton s Second Law …   Wikipedia

  • Balanced flow — In atmospheric science, balanced flow is an idealisation of atmospheric motion. The idealisation consists in considering the behaviour of one isolated parcel of air having constant density, its motion on a horizontal plane subject to selected… …   Wikipedia

Share the article and excerpts

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