|
Local Flatness
In topology, a branch of mathematics, local flatness is a smoothness condition that can be imposed on topological submanifolds. In the category of topological manifolds, locally flat submanifolds play a role similar to that of embedded submanifolds in the category of smooth manifolds. Violations of local flatness describe ridge networks and crumpled structures, with applications to materials processing and mechanical engineering. Definition Suppose a ''d'' dimensional manifold ''N'' is embedded into an ''n'' dimensional manifold ''M'' (where ''d'' < ''n''). If x \in N, we say ''N'' is locally flat at ''x'' if there is a neighborhood U \subset M of ''x'' such that the topological pair (U, U\cap N) is homeomorphic to the pair (\mathbb^n,\mathbb^d), with the standard inclusion of \mathbb^d\to\mathbb^n. That is, there exists a homeomorphism U\to \mathbb^n such that the image of U\cap N coincides with \mathbb^d. In diagrammatic terms, the following square must commute: We c ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Topology
Topology (from the Greek language, Greek words , and ) is the branch of mathematics concerned with the properties of a Mathematical object, geometric object that are preserved under Continuous function, continuous Deformation theory, deformations, such as Stretch factor, stretching, Torsion (mechanics), twisting, crumpling, and bending; that is, without closing holes, opening holes, tearing, gluing, or passing through itself. A topological space is a Set (mathematics), set endowed with a structure, called a ''Topology (structure), topology'', which allows defining continuous deformation of subspaces, and, more generally, all kinds of List of continuity-related mathematical topics, continuity. Euclidean spaces, and, more generally, metric spaces are examples of topological spaces, as any distance or metric defines a topology. The deformations that are considered in topology are homeomorphisms and Homotopy, homotopies. A property that is invariant under such deformations is a to ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Image (mathematics)
In mathematics, for a function f: X \to Y, the image of an input value x is the single output value produced by f when passed x. The preimage of an output value y is the set of input values that produce y. More generally, evaluating f at each Element (mathematics), element of a given subset A of its Domain of a function, domain X produces a set, called the "image of A under (or through) f". Similarly, the inverse image (or preimage) of a given subset B of the codomain Y is the set of all elements of X that map to a member of B. The image of the function f is the set of all output values it may produce, that is, the image of X. The preimage of f is the preimage of the codomain Y. Because it always equals X (the domain of f), it is rarely used. Image and inverse image may also be defined for general Binary relation#Operations, binary relations, not just functions. Definition The word "image" is used in three related ways. In these definitions, f : X \to Y is a Function (mat ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Neat Submanifold
In differential topology, an area of mathematics, a neat submanifold of a manifold with boundary is a kind of "well-behaved" submanifold. To define this more precisely, first let :M be a manifold with boundary, and :A be a submanifold of M. Then A is said to be a neat submanifold of M if it meets the following two conditions:. *The boundary of A is a subset of the boundary of M. That is, \partial A \subset \partial M. *Each point of A has a neighborhood within which A's embedding in M is equivalent to the embedding of a hyperplane in a higher-dimensional Euclidean space. More formally, A must be covered by charts (U, \phi) of M such that A \cap U = \phi^(\mathbb^m) where m is the dimension For instance, in the category of smooth manifold In mathematics, a differentiable manifold (also differential manifold) is a type of manifold that is locally similar enough to a vector space to allow one to apply calculus. Any manifold can be described by a collection of charts (atlas). One ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Euclidean Space
Euclidean space is the fundamental space of geometry, intended to represent physical space. Originally, in Euclid's ''Elements'', it was the three-dimensional space of Euclidean geometry, but in modern mathematics there are ''Euclidean spaces'' of any positive integer dimension ''n'', which are called Euclidean ''n''-spaces when one wants to specify their dimension. For ''n'' equal to one or two, they are commonly called respectively Euclidean lines and Euclidean planes. The qualifier "Euclidean" is used to distinguish Euclidean spaces from other spaces that were later considered in physics and modern mathematics. Ancient Greek geometers introduced Euclidean space for modeling the physical space. Their work was collected by the ancient Greek mathematician Euclid in his ''Elements'', with the great innovation of '' proving'' all properties of the space as theorems, by starting from a few fundamental properties, called '' postulates'', which either were considered as evid ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Half-space (geometry)
In geometry, a half-space is either of the two parts into which a plane divides the three-dimensional Euclidean space. If the space is two-dimensional, then a half-space is called a ''half-plane'' (open or closed). A half-space in a one-dimensional space is called a ''half-line'' or ray''.'' More generally, a half-space is either of the two parts into which a hyperplane divides an n-dimensional space. That is, the points that are not incident to the hyperplane are partitioned into two convex sets (i.e., half-spaces), such that any subspace connecting a point in one set to a point in the other must intersect the hyperplane. A half-space can be either ''open'' or ''closed''. An open half-space is either of the two open sets produced by the subtraction of a hyperplane from the affine space. A closed half-space is the union of an open half-space and the hyperplane that defines it. The open (closed) ''upper half-space'' is the half-space of all (''x''1, ''x''2, ..., ''x''''n'') suc ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Boundary (topology)
In topology and mathematics in general, the boundary of a subset of a topological space is the set of points in the Closure (topology), closure of not belonging to the Interior (topology), interior of . An element of the boundary of is called a boundary point of . The term boundary operation refers to finding or taking the boundary of a set. Notations used for boundary of a set include \operatorname(S), \operatorname(S), and \partial S. Some authors (for example Willard, in ''General Topology'') use the term frontier instead of boundary in an attempt to avoid confusion with a Manifold#Manifold with boundary, different definition used in algebraic topology and the theory of manifolds. Despite widespread acceptance of the meaning of the terms boundary and frontier, they have sometimes been used to refer to other sets. For example, ''Metric Spaces'' by E. T. Copson uses the term boundary to refer to Felix Hausdorff, Hausdorff's border, which is defined as the intersection ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Locally Flat
In topology, a branch of mathematics, local flatness is a smoothness condition that can be imposed on topological submanifolds. In the category of topological manifolds, locally flat submanifolds play a role similar to that of embedded submanifolds in the category of smooth manifolds. Violations of local flatness describe ridge networks and crumpled structures, with applications to materials processing and mechanical engineering. Definition Suppose a ''d'' dimensional manifold ''N'' is embedded into an ''n'' dimensional manifold ''M'' (where ''d'' < ''n''). If x \in N, we say ''N'' is locally flat at ''x'' if there is a neighborhood U \subset M of ''x'' such that the topological pair (U, U\cap N) is homeomorphic to the pair (\mathbb^n,\mathbb^d), with the standard inclusion of \mathbb^d\to\mathbb^n. That is, there exists a homeomorphism U\to \mathbb^n such that the image of U\cap N coincides with \mathbb^d. In diagrammatic terms, the following square must commute: We c ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Commuting Square
350px, The commutative diagram used in the proof of the five lemma In mathematics, and especially in category theory, a commutative diagram is a diagram such that all directed paths in the diagram with the same start and endpoints lead to the same result. It is said that commutative diagrams play the role in category theory that equations play in algebra. Description A commutative diagram often consists of three parts: * objects (also known as ''vertices'') * morphisms (also known as ''arrows'' or ''edges'') * paths or composites Arrow symbols In algebra texts, the type of morphism can be denoted with different arrow usages: * A monomorphism may be labeled with a \hookrightarrow or a \rightarrowtail. * An epimorphism may be labeled with a \twoheadrightarrow. * An isomorphism may be labeled with a \overset. * The dashed arrow typically represents the claim that the indicated morphism exists (whenever the rest of the diagram holds); the arrow may be optionally labeled as \exist ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Homeomorphic
In mathematics and more specifically in topology, a homeomorphism ( from Greek roots meaning "similar shape", named by Henri Poincaré), also called topological isomorphism, or bicontinuous function, is a bijective and continuous function between topological spaces that has a continuous inverse function. Homeomorphisms are the isomorphisms in the category of topological spaces—that is, they are the mappings that preserve all the topological properties of a given space. Two spaces with a homeomorphism between them are called homeomorphic, and from a topological viewpoint they are the same. Very roughly speaking, a topological space is a geometric object, and a homeomorphism results from a continuous deformation of the object into a new shape. Thus, a square and a circle are homeomorphic to each other, but a sphere and a torus are not. However, this description can be misleading. Some continuous deformations do not produce homeomorphisms, such as the deformation of a li ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many areas of mathematics, which include number theory (the study of numbers), algebra (the study of formulas and related structures), geometry (the study of shapes and spaces that contain them), Mathematical analysis, analysis (the study of continuous changes), and set theory (presently used as a foundation for all mathematics). Mathematics involves the description and manipulation of mathematical object, abstract objects that consist of either abstraction (mathematics), abstractions from nature orin modern mathematicspurely abstract entities that are stipulated to have certain properties, called axioms. Mathematics uses pure reason to proof (mathematics), prove properties of objects, a ''proof'' consisting of a succession of applications of in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Topological Pair
In mathematics, more specifically algebraic topology, a pair (X,A) is shorthand for an inclusion of topological spaces i\colon A \hookrightarrow X. Sometimes i is assumed to be a cofibration. A morphism from (X,A) to (X',A') is given by two maps f\colon X\rightarrow X' and g\colon A \rightarrow A' such that i' \circ g =f \circ i . A pair of spaces is an ordered pair where is a topological space and a subspace. The use of pairs of spaces is sometimes more convenient and technically superior to taking a quotient space of by . Pairs of spaces occur centrally in relative homology, homology theory and cohomology theory, where chains in A are made equivalent to 0, when considered as chains in X. Heuristically, one often thinks of a pair (X,A) as being akin to the quotient space X/A. There is a functor from the category of topological spaces to the category of pairs of spaces, which sends a space X to the pair (X, \varnothing). A related concept is that of a triple , with . Tri ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mechanical Engineering
Mechanical engineering is the study of physical machines and mechanism (engineering), mechanisms that may involve force and movement. It is an engineering branch that combines engineering physics and engineering mathematics, mathematics principles with materials science, to design, analyze, manufacture, and maintain mechanical systems. It is one of the oldest and broadest of the List of engineering branches, engineering branches. Mechanical engineering requires an understanding of core areas including mechanics, Analytical dynamics, dynamics, thermodynamics, materials science, design, structural analysis, and electricity. In addition to these core principles, mechanical engineers use tools such as computer-aided design (CAD), computer-aided manufacturing (CAM), computer-aided engineering (CAE), and product lifecycle management to design and analyze manufacturing plants, industrial equipment and industrial machinery, machinery, HVAC, heating and cooling systems, transport systems, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
