|
Whitney Stratified Spaces
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 stratification of a topological space is a finite filtration by closed subsets ''F''''i'' , such that the difference between successive members ''F''''i'' and ''F''(''i'' − 1) of the filtration is either empty or a smooth submanifold of dimension ''i''. The connected components of the difference ''F''''i'' − ''F''(''i'' − 1) are the strata of dimension ''i''. A stratification is called a Whitney stratification if all pairs of strata satisfy the Whitney conditions A and B, as defined below. The Whitney conditions in R''n'' Let ''X'' and ''Y'' be two disjoint (locally closed) submanifolds of R''n'', of dimensions ''i'' and ''j''. * ''X'' and ''Y'' satisfy Whitney's condition A if whenever a sequence of points ''x''1, ''x''2, … in ''X'' converges to a point ''y'' in ''Y'', and the sequence of ta ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Differential Topology
In mathematics, differential topology is the field dealing with the topological properties and smooth properties of smooth manifolds. In this sense differential topology is distinct from the closely related field of differential geometry, which concerns the ''geometric'' properties of smooth manifolds, including notions of size, distance, and rigid shape. By comparison differential topology is concerned with coarser properties, such as the number of holes in a manifold, its homotopy type, or the structure of its diffeomorphism group. Because many of these coarser properties may be captured algebraically, differential topology has strong links to algebraic topology. The central goal of the field of differential topology is the classification of all smooth manifolds up to diffeomorphism. Since dimension is an invariant of smooth manifolds up to diffeomorphism type, this classification is often studied by classifying the (connected) manifolds in each dimension separately: * In di ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Semialgebraic Set
In mathematics, a semialgebraic set is a subset ''S'' of ''Rn'' for some real closed field ''R'' (for example ''R'' could be the field of real numbers) defined by a finite sequence of polynomial equations (of the form P(x_1,...,x_n) = 0) and inequalities (of the form Q(x_1,...,x_n) > 0), or any finite union of such sets. A semialgebraic function is a function with a semialgebraic graph. Such sets and functions are mainly studied in real algebraic geometry which is the appropriate framework for algebraic geometry over the real numbers. Properties Similarly to algebraic subvarieties, finite unions and intersections of semialgebraic sets are still semialgebraic sets. Furthermore, unlike subvarieties, the complement of a semialgebraic set is again semialgebraic. Finally, and most importantly, the Tarski–Seidenberg theorem says that they are also closed under the projection operation: in other words a semialgebraic set projected onto a linear subspace yields another such (as case o ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Differential Topology
In mathematics, differential topology is the field dealing with the topological properties and smooth properties of smooth manifolds. In this sense differential topology is distinct from the closely related field of differential geometry, which concerns the ''geometric'' properties of smooth manifolds, including notions of size, distance, and rigid shape. By comparison differential topology is concerned with coarser properties, such as the number of holes in a manifold, its homotopy type, or the structure of its diffeomorphism group. Because many of these coarser properties may be captured algebraically, differential topology has strong links to algebraic topology. The central goal of the field of differential topology is the classification of all smooth manifolds up to diffeomorphism. Since dimension is an invariant of smooth manifolds up to diffeomorphism type, this classification is often studied by classifying the (connected) manifolds in each dimension separately: * In di ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Marston Morse
Harold Calvin Marston Morse (March 24, 1892 – June 22, 1977) was an American mathematician best known for his work on the ''calculus of variations in the large'', a subject where he introduced the technique of differential topology now known as Morse theory. The Morse–Palais lemma, one of the key results in Morse theory, is named after him, as is the Thue–Morse sequence, an infinite binary sequence with many applications. In 1933 he was awarded the Bôcher Memorial Prize for his work in mathematical analysis. Biography He was born in Waterville, Maine to Ella Phoebe Marston and Howard Calvin Morse in 1892. He received his bachelor's degree from Colby College (also in Waterville) in 1914. At Harvard University, he received both his master's degree in 1915 and his PhD in 1917. He wrote his PhD thesis, ''Certain Types of Geodesic Motion of a Surface of Negative Curvature'', under the direction of George David Birkhoff. Morse was a Benjamin Peirce Instructor at Harvard in 191 ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Stratified Space
In mathematics, especially in topology, a stratified space is a topological space that admits or is equipped with a Stratification (mathematics)#In topology, stratification, a decomposition into subspaces, which are nice in some sense (e.g., smooth or flat). A basic example is a subset of a smooth manifold that admits a Whitney stratification. But there is also an abstract stratified space such as a Thom–Mather stratified space. On a stratified space, a constructible sheaf can be defined as a sheaf that is locally constant sheaf, locally constant on each stratum. Among the several ideals, Grothendieck's ''Esquisse d’un programme'' considers (or proposes) a stratified space with what he calls the tame topology. A stratified space in the sense of Mather Mather gives the following definition of a stratified space. A ''prestratification'' on a topological space ''X'' is a partition of ''X'' into subsets (called strata) such that (a) each stratum is locally closed, (b) it is loca ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Thom's First Isotopy Lemma
In mathematics, especially in differential topology, Thom's first isotopy lemma states: given a smooth map f : M \to N between smooth manifolds and S \subset M a closed Whitney stratified subset, if f, _S is proper and f, _A is a submersion for each stratum A of S, then f, _S is a locally trivial fibration. The lemma was originally introduced by René Thom who considered the case when N = \mathbb. In that case, the lemma constructs an isotopy from the fiber f^(a) to f^(b); whence the name "isotopy lemma". The local trivializations that the lemma provide preserve the strata. However, they are generally not smooth (not even C^1). On the other hand, it is possible that local trivializations are semialgebraic if the input data is semialgebraic. The lemma is also valid for a more general stratified space such as a stratified space in the sense of Mather but still with the Whitney conditions (or some other conditions). The lemma is also valid for the stratification that satisfies Bekk ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Topologically Stratified Space
In mathematics, topology (from the Greek words , and ) is concerned with the properties of a geometric object that are preserved under continuous deformations, such as stretching, twisting, crumpling, and bending; that is, without closing holes, opening holes, tearing, gluing, or passing through itself. A topological space is a set endowed with a structure, called a ''topology'', which allows defining continuous deformation of subspaces, and, more generally, all kinds of continuity. Euclidean spaces, and, more generally, metric spaces are examples of a topological space, as any distance or metric defines a topology. The deformations that are considered in topology are homeomorphisms and homotopies. A property that is invariant under such deformations is a topological property. Basic examples of topological properties are: the dimension, which allows distinguishing between a line and a surface; compactness, which allows distinguishing between a line and a circle; connectedne ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Thom–Mather Stratified Space
In topology, a branch of mathematics, an abstract stratified space, or a Thom–Mather stratified space is a topological space ''X'' that has been decomposed into pieces called strata; these strata are manifolds and are required to fit together in a certain way. Thom–Mather stratified spaces provide a purely topological setting for the study of singularities analogous to the more differential-geometric theory of Hassler Whitney, Whitney. They were introduced by René Thom, who showed that every Whitney conditions , Whitney stratified space was also a topologically stratified space, with the same strata. Another proof was given by John Mather (mathematician), John Mather in 1970, inspired by Thom's proof. Basic examples of Thom–Mather stratified spaces include manifolds with boundary (top dimension and codimension 1 boundary) and manifold with corners, manifolds with corners (top dimension, codimension 1 boundary, codimension 2 corners), real or complex analytic varieties, or orb ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
O-minimal Structure
In mathematical logic, and more specifically in model theory, an infinite structure (''M'',<,...) which is totally ordered by < is called an o-minimal structure if and only if every definable subset ''X'' ⊂ ''M'' (with parameters taken from ''M'') is a finite of intervals and points. O-minimality can be regarded as a weak form of . A structure ''M'' is o-minimal if and only if every formula with one free variable and parameters in ''M'' is equivalent to a quantifier-free formula ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Jagellonian University
The Jagiellonian University (Polish: ''Uniwersytet Jagielloński'', UJ) is a public research university in Kraków, Poland. Founded in 1364 by King Casimir III the Great, it is the oldest university in Poland and the 13th oldest university in continuous operation in the world. It is regarded as Poland's most prestigious academic institution. The university has been viewed as a guardian of Polish culture, particularly for continuing operations during the partitions of Poland and the two World Wars, as well as a significant contributor to the intellectual heritage of Europe. The campus of the Jagiellonian University is centrally located within the city of Kraków. The university consists of thirteen main faculties, in addition to three faculties composing the Collegium Medicum. It employs roughly 4,000 academics and provides education to more than 35,000 students who study in 166 fields. The main language of instruction is Polish, although around 30 degrees are offered in Engl ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Heisuke Hironaka
is a Japanese mathematician who was awarded the Fields Medal in 1970 for his contributions to algebraic geometry. Career Hironaka entered Kyoto University in 1949. After completing his undergraduate studies at Kyoto University, he received his Ph.D. in 1960 from Harvard University while under the direction of Oscar Zariski. Hironaka held teaching positions at Brandeis University from 1960-1963, Columbia University in 1964, and Kyoto University from 1975 to 1988. He was a professor of mathematics at Harvard University from 1968 until becoming ''emeritus'' in 1992 and was a president of Yamaguchi University from 1996 to 2002. Research In 1964, Hironaka proved that singularities of algebraic varieties admit resolutions in characteristic zero. This means that any algebraic variety can be replaced by (more precisely is birationally equivalent to) a similar variety which has no singularities. He also introduced Hironaka's example showing that a deformation of Kähler manifolds need ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Subanalytic Set
In mathematics, particularly in the subfield of real analytic geometry, a subanalytic set is a set of points (for example in Euclidean space) defined in a way broader than for semianalytic sets (roughly speaking, those satisfying conditions requiring certain real power series to be positive there). Subanalytic sets still have a reasonable local description in terms of submanifolds. Formal definitions A subset ''V'' of a given Euclidean space ''E'' is semianalytic if each point has a neighbourhood ''U'' in ''E'' such that the intersection of ''V'' and ''U'' lies in the Boolean algebra of sets generated by subsets defined by inequalities ''f'' > 0, where f is a real analytic function. There is no Tarski–Seidenberg theorem for semianalytic sets, and projections of semianalytic sets are in general not semianalytic. A subset ''V'' of ''E'' is a subanalytic set if for each point there exists a relatively compact semianalytic set ''X'' in a Euclidean space ''F'' of dimension at least ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
.jpg "Click for more on -> Jagellonian University")