|
Poincaré's Lemma
In mathematics, especially vector calculus and differential topology, a closed form is a differential form ''α'' whose exterior derivative is zero (), and an exact form is a differential form, ''α'', that is the exterior derivative of another differential form ''β''. Thus, an ''exact'' form is in the ''image'' of ''d'', and a ''closed'' form is in the ''kernel'' of ''d''. For an exact form ''α'', for some differential form ''β'' of degree one less than that of ''α''. The form ''β'' is called a "potential form" or "primitive" for ''α''. Since the exterior derivative of a closed form is zero, ''β'' is not unique, but can be modified by the addition of any closed form of degree one less than that of ''α''. Because , every exact form is necessarily closed. The question of whether ''every'' closed form is exact depends on the topology of the domain of interest. On a contractible domain, every closed form is exact by the Poincaré lemma. More general questions of this kind on ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics with the major subdisciplines of number theory, algebra, geometry, and analysis, respectively. There is no general consensus among mathematicians about a common definition for their academic discipline. Most mathematical activity involves the discovery of properties of abstract objects and the use of pure reason to prove them. These objects consist of either abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of deductive rules to already established results. These results include previously proved theorems, axioms, andin case of abstraction from naturesome basic properties that are considered true starting points of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Function (mathematics)
In mathematics, a function from a set to a set assigns to each element of exactly one element of .; the words map, mapping, transformation, correspondence, and operator are often used synonymously. The set is called the domain of the function and the set is called the codomain of the function.Codomain ''Encyclopedia of Mathematics'Codomain. ''Encyclopedia of Mathematics''/ref> The earliest known approach to the notion of function can be traced back to works of Persian mathematicians Al-Biruni and Sharaf al-Din al-Tusi. Functions were originally the idealization of how a varying quantity depends on another quantity. For example, the position of a planet is a ''function'' of time. Historically, the concept was elaborated with the infinitesimal calculus at the end of the 17th century, and, until the 19th century, the functions that were considered were differentiable (that is, they had a high degree of regularity). The concept of a function was formalized at the end of the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Divergence
In vector calculus, divergence is a vector operator that operates on a vector field, producing a scalar field giving the quantity of the vector field's source at each point. More technically, the divergence represents the volume density of the outward flux of a vector field from an infinitesimal volume around a given point. As an example, consider air as it is heated or cooled. The velocity of the air at each point defines a vector field. While air is heated in a region, it expands in all directions, and thus the velocity field points outward from that region. The divergence of the velocity field in that region would thus have a positive value. While the air is cooled and thus contracting, the divergence of the velocity has a negative value. Physical interpretation of divergence In physical terms, the divergence of a vector field is the extent to which the vector field flux behaves like a source at a given point. It is a local measure of its "outgoingness" – the extent to ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Irrotational Vector Field
In vector calculus, a conservative vector field is a vector field that is the gradient of some function. A conservative vector field has the property that its line integral is path independent; the choice of any path between two points does not change the value of the line integral. Path independence of the line integral is equivalent to the vector field under the line integral being conservative. A conservative vector field is also irrotational; in three dimensions, this means that it has vanishing curl. An irrotational vector field is necessarily conservative provided that the domain is simply connected. Conservative vector fields appear naturally in mechanics: They are vector fields representing forces of physical systems in which energy is conserved. For a conservative system, the work done in moving along a path in a configuration space depends on only the endpoints of the path, so it is possible to define potential energy that is independent of the actual path taken. In ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Curl (mathematics)
In vector calculus, the curl is a vector operator that describes the infinitesimal circulation of a vector field in three-dimensional Euclidean space. The curl at a point in the field is represented by a vector whose length and direction denote the magnitude and axis of the maximum circulation. The curl of a field is formally defined as the circulation density at each point of the field. A vector field whose curl is zero is called irrotational. The curl is a form of differentiation for vector fields. The corresponding form of the fundamental theorem of calculus is Stokes' theorem, which relates the surface integral of the curl of a vector field to the line integral of the vector field around the boundary curve. is a notation common today to the United States and Americas. In many European countries, particularly in classic scientific literature, the alternative notation is traditionally used, which is spelled as "rotor", and comes from the "rate of rotation", which it rep ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Scalar Potential
In mathematical physics, scalar potential, simply stated, describes the situation where the difference in the potential energies of an object in two different positions depends only on the positions, not upon the path taken by the object in traveling from one position to the other. It is a scalar field in three-space: a directionless value (scalar) that depends only on its location. A familiar example is potential energy due to gravity. A ''scalar potential'' is a fundamental concept in vector analysis and physics (the adjective ''scalar'' is frequently omitted if there is no danger of confusion with ''vector potential''). The scalar potential is an example of a scalar field. Given a vector field , the scalar potential is defined such that: : \mathbf = -\nabla P = - \left( \frac, \frac, \frac \right), where is the gradient of and the second part of the equation is minus the gradient for a function of the Cartesian coordinates . In some cases, mathematicians may use ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Gradient
In vector calculus, the gradient of a scalar-valued differentiable function of several variables is the vector field (or vector-valued function) \nabla f whose value at a point p is the "direction and rate of fastest increase". If the gradient of a function is non-zero at a point , the direction of the gradient is the direction in which the function increases most quickly from , and the magnitude of the gradient is the rate of increase in that direction, the greatest absolute directional derivative. Further, a point where the gradient is the zero vector is known as a stationary point. The gradient thus plays a fundamental role in optimization theory, where it is used to maximize a function by gradient ascent. In coordinate-free terms, the gradient of a function f(\bf) may be defined by: :df=\nabla f \cdot d\bf where ''df'' is the total infinitesimal change in ''f'' for an infinitesimal displacement d\bf, and is seen to be maximal when d\bf is in the direction of the gradi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Conservative Vector Field
In vector calculus, a conservative vector field is a vector field that is the gradient of some function. A conservative vector field has the property that its line integral is path independent; the choice of any path between two points does not change the value of the line integral. Path independence of the line integral is equivalent to the vector field under the line integral being conservative. A conservative vector field is also irrotational; in three dimensions, this means that it has vanishing curl. An irrotational vector field is necessarily conservative provided that the domain is simply connected. Conservative vector fields appear naturally in mechanics: They are vector fields representing forces of physical systems in which energy is conserved. For a conservative system, the work done in moving along a path in a configuration space depends on only the endpoints of the path, so it is possible to define potential energy that is independent of the actual path taken. In ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Musical Isomorphism
In mathematics—more specifically, in differential geometry—the musical isomorphism (or canonical isomorphism) is an isomorphism between the tangent bundle \mathrmM and the cotangent bundle \mathrm^* M of a pseudo-Riemannian manifold induced by its metric tensor. There are similar isomorphisms on symplectic manifolds. The term ''musical'' refers to the use of the symbols \flat (flat) and \sharp (sharp). In the notation of Ricci calculus, it is also known as raising and lowering indices. Motivation In linear algebra, a finite-dimensional vector space is isomorphic to its dual space but not canonically isomorphic to it. On the other hand a finite-dimensional vector space V endowed with a non-degenerate bilinear form \langle\cdot,\cdot\rangle, is canonically isomorphic to its dual, the isomorphism being given by: \beginV&\rightarrow &V^* \\ v &\mapsto& \langle v,\cdot\rangle\end An example is where V is a Euclidean space, and \langle\cdot,\cdot\rangle is its inner product. Mus ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Pseudo-Riemannian Manifold
In differential geometry, a pseudo-Riemannian manifold, also called a semi-Riemannian manifold, is a differentiable manifold with a metric tensor that is everywhere nondegenerate. This is a generalization of a Riemannian manifold in which the requirement of positive-definiteness is relaxed. Every tangent space of a pseudo-Riemannian manifold is a pseudo-Euclidean vector space. A special case used in general relativity is a four-dimensional Lorentzian manifold for modeling spacetime, where tangent vectors can be classified as timelike, null, and spacelike. Introduction Manifolds In differential geometry, a differentiable manifold is a space which is locally similar to a Euclidean space. In an ''n''-dimensional Euclidean space any point can be specified by ''n'' real numbers. These are called the coordinates of the point. An ''n''-dimensional differentiable manifold is a generalisation of ''n''-dimensional Euclidean space. In a manifold it may only be possible to d ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Riemannian Manifold
In differential geometry, a Riemannian manifold or Riemannian space , so called after the German mathematician Bernhard Riemann, is a real manifold, real, smooth manifold ''M'' equipped with a positive-definite Inner product space, inner product ''g''''p'' on the tangent space ''T''''p''''M'' at each point ''p''. The family ''g''''p'' of inner products is called a metric tensor, Riemannian metric (or Riemannian metric tensor). Riemannian geometry is the study of Riemannian manifolds. A common convention is to take ''g'' to be Smoothness, smooth, which means that for any smooth coordinate chart on ''M'', the ''n''2 functions :g\left(\frac,\frac\right):U\to\mathbb are smooth functions. These functions are commonly designated as g_. With further restrictions on the g_, one could also consider Lipschitz continuity, Lipschitz Riemannian metrics or Measurable function, measurable Riemannian metrics, among many other possibilities. A Riemannian metric (tensor) makes it possible to ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Gradient Theorem
The gradient theorem, also known as the fundamental theorem of calculus for line integrals, says that a line integral through a gradient field can be evaluated by evaluating the original scalar field at the endpoints of the curve. The theorem is a generalization of the second fundamental theorem of calculus to any curve in a plane or space (generally ''n''-dimensional) rather than just the real line. For as a differentiable function and as any continuous curve in which starts at a point and ends at a point , then \int_ \nabla\varphi(\mathbf)\cdot \mathrm\mathbf = \varphi\left(\mathbf\right) - \varphi\left(\mathbf\right) where denotes the gradient vector field of . The gradient theorem implies that line integrals through gradient fields are path-independent. In physics this theorem is one of the ways of defining a ''conservative'' force. By placing as potential, is a conservative field. Work done by conservative forces does not depend on the path followed by the obje ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
.svg "Click for more on -> Divergence")
