|
Normal Component
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''. Formal definition Surface More formally, let S be a surface, and x be a point on the surface. Let \mathbf be a vector at x. Then one can write uniquely \mathbf as a sum : \mathbf=\mathbf_\parallel + \mathbf_\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 tan ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Surface Normal Tangent
A surface, as the term is most generally used, is the outermost or uppermost layer of a physical object or space. It is the portion or region of the object that can first be perceived by an observer using the senses of sight and touch, and is the portion with which other materials first interact. The surface of an object is more than "a mere geometric solid", but is "filled with, spread over by, or suffused with perceivable qualities such as color and warmth". The concept of surface has been abstracted and formalized in mathematics, specifically in geometry. Depending on the properties on which the emphasis is given, there are several non equivalent such formalizations, that are all called ''surface'', sometimes with some qualifier, such as algebraic surface, smooth surface or fractal surface. The concept of surface and its mathematical abstraction are both widely used in physics, engineering, computer graphics, and many other disciplines, primarily in representing the surfac ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Split Exact Sequence
In mathematics, a split exact sequence is a short exact sequence in which the middle term is built out of the two outer terms in the simplest possible way. Equivalent characterizations A short exact sequence of abelian groups or of modules over a fixed ring, or more generally of objects in an abelian category :0 \to A \mathrel B \mathrel C \to 0 is called split exact if it is isomorphic to the exact sequence where the middle term is the direct sum of the outer ones: :0 \to A \mathrel A \oplus C \mathrel C \to 0 The requirement that the sequence is isomorphic means that there is an isomorphism f : B \to A \oplus C such that the composite f \circ a is the natural inclusion i: A \to A \oplus C and such that the composite p \circ f equals ''b''. This can be summarized by a commutative diagram as: The splitting lemma provides further equivalent characterizations of split exact sequences. Examples A trivial example of a split short exact sequence is :0 \to M_1 \mathrel M_1\o ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Surface Normal
In geometry, a normal is an object such as a line, ray, or vector that is perpendicular to a given object. For example, the normal line to a plane curve at a given point is the (infinite) line perpendicular to the tangent line to the curve at the point. A normal vector may have length one (a unit vector) or its length may represent the curvature of the object (a '' curvature vector''); its algebraic sign may indicate sides (interior or exterior). In three dimensions, a surface normal, or simply normal, to a surface at point P is a vector perpendicular to the tangent plane of the surface at P. The word "normal" is also used as an adjective: a line ''normal'' to a plane, the ''normal'' component of a force, the normal vector, etc. The concept of normality generalizes to orthogonality (right angles). The concept has been generalized to differentiable manifolds of arbitrary dimension embedded in a Euclidean space. The normal vector space or normal space of a manifold at ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Total Derivative
In mathematics, the total derivative of a function at a point is the best linear approximation near this point of the function with respect to its arguments. Unlike partial derivatives, the total derivative approximates the function with respect to all of its arguments, not just a single one. In many situations, this is the same as considering all partial derivatives simultaneously. The term "total derivative" is primarily used when is a function of several variables, because when is a function of a single variable, the total derivative is the same as the ordinary derivative of the function. The total derivative as a linear map Let U \subseteq \R^n be an open subset. Then a function f:U \to \R^m is said to be (totally) differentiable at a point a\in U if there exists a linear transformation df_a:\R^n \to \R^m such that :\lim_ \frac=0. The linear map df_a is called the (total) derivative or (total) differential of f at a. Other notations for the total derivative inclu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Critical Point (mathematics)
Critical point is a wide term used in many branches of mathematics. When dealing with functions of a real variable, a critical point is a point in the domain of the function where the function is either not differentiable or the derivative is equal to zero. When dealing with complex variables, a critical point is, similarly, a point in the function's domain where it is either not holomorphic or the derivative is equal to zero. Likewise, for a function of several real variables, a critical point is a value in its domain where the gradient is undefined or is equal to zero. The value of the function at a critical point is a critical value. This sort of definition extends to differentiable maps between and a critical point being, in this case, a point where the rank of the Jacobian matrix is not maximal. It extends further to differentiable maps between differentiable manifolds, as the points where the rank of the Jacobian matrix decreases. In this case, critical points ar ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lagrange Multipliers
In mathematical optimization, the method of Lagrange multipliers is a strategy for finding the local maxima and minima of a function subject to equality constraints (i.e., subject to the condition that one or more equations have to be satisfied exactly by the chosen values of the variables). It is named after the mathematician Joseph-Louis Lagrange. The basic idea is to convert a constrained problem into a form such that the derivative test of an unconstrained problem can still be applied. The relationship between the gradient of the function and gradients of the constraints rather naturally leads to a reformulation of the original problem, known as the Lagrangian function. The method can be summarized as follows: in order to find the maximum or minimum of a function f(x) subjected to the equality constraint g(x) = 0, form the Lagrangian function :\mathcal(x, \lambda) = f(x) + \lambda g(x) and find the stationary points of \mathcal considered as a function of x and the Lagrange m ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Level Set
In mathematics, a level set of a real-valued function of real variables is a set where the function takes on a given constant value , that is: : L_c(f) = \left\~, When the number of independent variables is two, a level set is called a level curve, also known as ''contour line'' or ''isoline''; so a level curve is the set of all real-valued solutions of an equation in two variables and . When , a level set is called a level surface (or '' isosurface''); so a level surface is the set of all real-valued roots of an equation in three variables , and . For higher values of , the level set is a level hypersurface, the set of all real-valued roots of an equation in variables. A level set is a special case of a fiber. Alternative names Level sets show up in many applications, often under different names. For example, an implicit curve is a level curve, which is considered independently of its neighbor curves, emphasizing that such a curve is defined by an implici ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hypersurface
In geometry, a hypersurface is a generalization of the concepts of hyperplane, plane curve, and surface. A hypersurface is a manifold or an algebraic variety of dimension , which is embedded in an ambient space of dimension , generally a Euclidean space, an affine space or a projective space. Hypersurfaces share, with surfaces in a three-dimensional space, the property of being defined by a single implicit equation, at least locally (near every point), and sometimes globally. A hypersurface in a (Euclidean, affine, or projective) space of dimension two is a plane curve. In a space of dimension three, it is a surface. For example, the equation :x_1^2+x_2^2+\cdots+x_n^2-1=0 defines an algebraic hypersurface of dimension in the Euclidean space of dimension . This hypersurface is also a smooth manifold, and is called a hypersphere or an -sphere. Smooth hypersurface A hypersurface that is a smooth manifold is called a ''smooth hypersurface''. In , a smooth hypersurface is ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Implicit Surface
In mathematics, an implicit surface is a surface in Euclidean space defined by an equation : F(x,y,z)=0. An ''implicit surface'' is the set of zeros of a function of three variables. ''Implicit'' means that the equation is not solved for or or . The graph of a function is usually described by an equation z=f(x,y) and is called an ''explicit'' representation. The third essential description of a surface is the '' parametric'' one: (x(s,t),y(s,t), z(s,t)), where the -, - and -coordinates of surface points are represented by three functions x(s,t)\, , y(s,t)\, , z(s,t) depending on common parameters s,t. Generally the change of representations is simple only when the explicit representation z=f(x,y) is given: z-f(x,y)=0 (implicit), (s,t,f(s,t)) (parametric). ''Examples'': #The plane x+2y-3z+1=0. #The sphere x^2+y^2+z^2-4=0. #The torus (x^2+y^2+z^2+R^2-a^2)^2-4R^2(x^2+y^2)=0. #A surface of genus 2: 2y(y^2-3x^2)(1-z^2)+(x^2+y^2)^2-(9z^2-1)(1-z^2)=0 (see diagram). #The ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Immersion (mathematics)
In mathematics, an immersion is a differentiable function between differentiable manifolds whose differential (or pushforward) is everywhere injective. Explicitly, is an immersion if :D_pf : T_p M \to T_N\, is an injective function at every point ''p'' of ''M'' (where ''TpX'' denotes the tangent space of a manifold ''X'' at a point ''p'' in ''X''). Equivalently, ''f'' is an immersion if its derivative has constant rank equal to the dimension of ''M'': :\operatorname\,D_p f = \dim M. The function ''f'' itself need not be injective, only its derivative must be. A related concept is that of an embedding. A smooth embedding is an injective immersion that is also a topological embedding, so that ''M'' is diffeomorphic to its image in ''N''. An immersion is precisely a local embedding – that is, for any point there is a neighbourhood, , of ''x'' such that is an embedding, and conversely a local embedding is an immersion. For infinite dimensional manifolds, this is so ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Basis (linear Algebra)
In mathematics, a set of vectors in a vector space is called a basis if every element of may be written in a unique way as a finite linear combination of elements of . The coefficients of this linear combination are referred to as components or coordinates of the vector with respect to . The elements of a basis are called . Equivalently, a set is a basis if its elements are linearly independent and every element of is a linear combination of elements of . In other words, a basis is a linearly independent spanning set. A vector space can have several bases; however all the bases have the same number of elements, called the ''dimension'' of the vector space. This article deals mainly with finite-dimensional vector spaces. However, many of the principles are also valid for infinite-dimensional vector spaces. Definition A basis of a vector space over a field (such as the real numbers or the complex numbers ) is a linearly independent subset of that spans . Th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Parametric Curve
In mathematics, a parametric equation defines a group of quantities as functions of one or more independent variables called parameters. Parametric equations are commonly used to express the coordinates of the points that make up a geometric object such as a curve or surface, in which case the equations are collectively called a parametric representation or parameterization (alternatively spelled as parametrisation) of the object. For example, the equations :\begin x &= \cos t \\ y &= \sin t \end form a parametric representation of the unit circle, where ''t'' is the parameter: A point (''x'', ''y'') is on the unit circle if and only if there is a value of ''t'' such that these two equations generate that point. Sometimes the parametric equations for the individual scalar output variables are combined into a single parametric equation in vectors: :(x, y)=(\cos t, \sin t). Parametric representations are generally nonunique (see the "Examples in two dimensions" section bel ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
