Factbites
 Where results make sense
About us   |   Why use us?   |   Reviews   |   PR   |   Contact us  

Topic: Simplicial approximation theorem


Related Topics

In the News (Fri 4 Dec 09)

  
 Luitzen Egbertus Jan Brouwer   (Site not responding. Last check: 2007-10-13)
The Brouwer fixed point theorem is named in his honor.
He proved the simplicial approximation theorem in the foundations of algebraic topology, which justifies the reduction to combinatorial terms, after sufficient subdivision of simplicial complexes, the treatment of general continuous mappings.
Brouwer adhered to an intuitionist philosophy of mathematics, which is sometimes characterized by saying that its adherents refuse to use the law of excluded middle in mathematical reasoning, and wrote books on the subjects mentioned above in which he proceeded accordingly.
bopedia.com /en/wikipedia/l/lu/luitzen_egbertus_jan_brouwer.html   (162 words)

  
 PlanetMath: simplicial complex
We do so not because the homology of a simplicial complex is so intrinsically interesting in and of itself, but because the resulting homology theory is identical to the singular homology of the associated topological space
The proof of this theorem is considerably more difficult than what we have done to this point, requiring the techniques of barycentric subdivision and simplicial approximation, and we refer the interested reader to [1].
This is version 6 of simplicial complex, born on 2002-04-11, modified 2006-07-31.
planetmath.org /encyclopedia/SimplicialComplex.html   (464 words)

  
 [No title]
Simplicial approximation J.F. Jardine December 11, 2002 Introduction The purpose of this paper is to display a different approach to the construction of the homotopy theory of simplicial sets and the corresponding equivalence with the homotopy theory of topological spaces.
Simplicial approximation theory is a part of the classical literature [1],[2* *], but it was never developed in a way that was systematic enough to lead to 1 results about model structures.
The Milnor Theorem which asserts that the combinatorial homotopy groups of a fibrant simplicial set coincide with the ordinary homotopy groups of its topological realization (Theorem 30) is proved in Section 6, in t* *he presence of a combinatorial proof of the assertion that the subdivision functors preserve anodyne extensions (Lemma 26).
www.math.purdue.edu /research/atopology/Jardine/simpset3.txt   (9478 words)

  
 SimplicialVIEW, a package for robust stability analysis.   (Site not responding. Last check: 2007-10-13)
SimplicialVIEW is a package that implements the simplicial approximation theorem of combinatorial topology using computational geometry for the purpose of visualizing the regions of stability/instability in the parameter space of a robust control problem.
The space of uncertainty is approximated by a polyhedron invoking Alexandroff's theorem, the vertices of the polyhedron are mapped to the complex plane using the usual Nyquist map, and the Horowitz template is triangulated using the Voronoi diagram/ Delauney triangulation.
Once a simplicial map between the uncertainty and the template is achieved, computing the pre-image of the simplex containing the origin of the complex plane yields an assembly of simplexes that provides an approximation of the crossover.
www-control.eng.cam.ac.uk /Seminars/abstracts/jonckheere.html   (138 words)

  
 Springer Online Reference Works
A simplicial complex is called locally finite if each of its vertices belongs to only finitely many simplices.
corresponds a simplicial complex, whose vertices are the vertices of
In the West, the concept described here is usually called an (abstract) simplicial complex; the term simplicial scheme would normally be understood to mean a simplicial object in the category of schemes (cf.
eom.springer.de /s/s085360.htm   (507 words)

  
 Algebraic Topology - Cambridge University Press   (Site not responding. Last check: 2007-10-13)
A unique feature of the book is the inclusion of many optional topics which are not usually part of a first course due to time constraints, and for which elementary expositions are sometimes hard to find.
The equivalence of simplicial and singular homology; 29.
Simplicial approximation and the Lefschetz fixed point theorem; Part IV.
www.cambridge.org /uk/catalogue/catalogue.asp?isbn=0521795400   (352 words)

  
 The Simplicial Approximation Theorem
In the end we will have a function g, homotopic to f, that is a simplicial map on a barycentric subdivision of k.
The simplicial map carries p to a point on this face, which is still part of τ.
Therefore g is a simplicial approximation to f.
www.mathreference.com /top-sx,sap.html   (684 words)

  
 Simplicial signed decompositions
We want to express the indicator function of a simplicial cone as an integer linear combination of the indicator functions of simplicial cones.
Therefore once we have a unimodular cone decomposition, the rational generating function of the original cone is a signed sum of ``simplicial'' rational functions.
is an approximation of the shortest vector in the lattice, in terms of Euclidean length.
www.math.ucdavis.edu /~latte/theory/lattE/node3.html   (1296 words)

  
 [No title]   (Site not responding. Last check: 2007-10-13)
Riemann integral and the fundamental theorem of integral calculus.
MA 505 Approximation Theory 2 1 0 6 Prerequisite: MA 403 (Exposure) Positive operators and Korovkin's theorem, Bernstein polynomials, Fejer's theorem, Stone-Weierstrass theorem.
Degree of approximation, moduli of continuity and K-functionals, direct and converse theorems.
www.math.iitb.ac.in /course.html   (9704 words)

  
 Topology   (Site not responding. Last check: 2007-10-13)
Understand how the fibre theorem and covering spaces allow fundamental groups to be computed, and understand how knowledge of fundamental groups can prove deep fixed-point and other theorems.
Be able to compute directly the homology groups of a low- dimensional simplicial complex, and understand how the ranks of the homology groups are related to information about higher-dimensional `holes' in the space.
To understand how higher homology groups may be used (assuming the standard results on simplicial approximation) to prove Brouwer fixed point theorem.
www.mth.uea.ac.uk /~h720/teaching/topology   (246 words)

  
 Faculty Foster   (Site not responding. Last check: 2007-10-13)
Monotonic functions, differentiation of vector valued functions, taylor's theorem, Riemann Stieljes integral, uniform convergence, ascoli's theorem, Weierstrass approximation theorem.
Integral theorems; Stress tensor, Equilibrium equations, Mohr's circle for plane stress; Deformation, Strain tensor, Rate of deformation tensor, Equations of motion: Dynamics similarity, exact solutions, laminar boundary layer over a flat plate, vorticity, circulation and irrational flow.
Simplicial complexes and Simplicial maps; homology groups; barycentric subdivision; the simplicial approximation theorem.
www.iitk.ac.in /math/files/msc_courses.html   (1115 words)

  
 Topological Robust Control
The boundary behavior of the Nyquist return difference map, as it was introduced by Horowitz in the Quantitative Feedback Theory, is an issue relevant to the celebrated Brouwer domain invariance theorem, the Caratheodory prime end theorem, and the simplicial approximation theorem, the latter being a foundational result of combinatorial, piecewise-linear topology.
Existence of fast robust stability tests on a subspace of uncertainty is an issue relevant to homotopy theory, obstruction theory, and the Fredholm index approach to K-theory as developed by Michael Atiyah.
Coutinho) has demonstrated that the theoretical constructions of combinatorial, piecewise-linear topology can be implemented in practise using computational geometry to produce an approximate stability boundary as an assembly of simplexes.
eudoxus.usc.edu /TOPOL/topol.html   (879 words)

  
 Math 8306-07: Class Outlines
Step 4 of the proof: combining the computation of the boundary of the product of the top cells in two cubes (Step 2) with the naturality of the cell product map alpha (Step 3) to prove the product formula for arbitrary cells.
The singular, cellular, and simplicial cohomology of spaces, CW complexes, and Delta-complexes, resp.
The fundamental theorem of algebra: a topological proof.
www.math.umn.edu /~voronov/8306/outline.html   (1288 words)

  
 Combinatorial topology - Wikipedia, the free encyclopedia
In mathematics, combinatorial topology was an older name for algebraic topology, dating from the time when topological invariants of spaces (for example the Betti numbers) were regarded as derived from combinatorial decompositions such as simplicial complexes.
After the proof of the simplicial approximation theorem this approach provided rigour.
The change of name, probably in the 1930s, reflected the move to organise topological classes such as cycles modulo boundaries explicitly into abelian groups.
en.wikipedia.org /wiki/Combinatorial_topology   (124 words)

  
 December 2 - Today in Science History   (Site not responding. Last check: 2007-10-13)
He founded modern topology by establishing, for example, the topological invariance of dimension and the fixpoint theorem.
(Topology is the study of the most basic properties of geometric surfaces and configurations.) The Brouwer fixed point theorem is named in his honor.
Died 2 Dec 1965 (born 2 Jul 1898)Hugh L(atimer) Dryden was a U.S. physicist and deputy administrator of the National Aeronautics and Space Administration (NASA, 1958) for 7 years.
www.todayinsci.com /12/12_02.htm   (2093 words)

  
 Luitzen Egbertus Jan Brouwer - Wikipedia, the free encyclopedia
Brouwer but known to his friends as Bertus, was a Dutch mathematician, a graduate of the University of Amsterdam, who worked in topology, set theory, measure theory and complex analysis.
His ideas were initially exposed in Beweis des Jordanschen Satzes für N Dimensionen (1912) ("Proof of Jordan's theorem for N dimensions").
He uncovered some of the main principles, such as triple negation, of intuitionistic logic; which then was taken up by Andrei Kolmogorov and (for a period) by Hermann Weyl, with rather different attitudes.
en.wikipedia.org /wiki/Luitzen_Egbertus_Jan_Brouwer   (450 words)

  
 MA4101 Algebraic Topology
This module aims to introduce the basic ideas of algebraic topology and to demonstrate its power by proving some memorably entitled theorems.
Topological spaces, homotopy equivalent spaces, polyhedra and the simplicial approximation theorem.
Application of homology theory to Brouwer's fixed point theorem, the Ham Sandwich theorem, the hairy dog theorem and the Borsuk Ulam theorem.
www.mcs.le.ac.uk /Modules/MA/MA4101.html   (547 words)

  
 A Survey of Simplicial Algorithms and Topology in Robust Stability (ResearchIndex)
Abstract: The proposed approach is aimed at achieving a deeper understanding of both the topological and computational aspects of robust closedloop stability of feedback systems under uncertain parameters.
Three different directions of attack of the problem, all inspired from algebraic and differential topology, are proposed -- the Simplicial Approximation Theorem, the Morse Theory, and Obstruction Theory.
1 Simplicial Algorithms on the Simplotope (context) - Doup - 1989
citeseer.ist.psu.edu /260911.html   (450 words)

  
 A Computational Geometry Approach to Simplicial Nyquist Maps in Robust Stability (ResearchIndex)
Abstract: In this paper we use combinatorial and computational geometry techniques to make the simplicial approximation theorem a computational, rather than conceptual, tool to check robust stability for systems that are not in Kharitonov's class.
A simplicial program was developed with a O(n log n) time complexity, where n is the cardinality of the vertex set of points mapped to the complex plane, using the Nyquist map f.
A Survey of Simplicial Algorithms and Topology in Robust..
citeseer.ist.psu.edu /282147.html   (396 words)

  
 Site Map for the Math Reference Project
The area of the triangle is easily derived, but the area of the hexagon has to wait for the pythagorean theorem.
I don't like forward references, so if you read through "plane geometry" you will encounter the area of the triangle, the pythagorean theorem, and the area of the hexagon, in that order.
These are steps on the road to proving a larger theorem, and they don't make sense out of context.
www.mathreference.com /sitemap.html   (445 words)

  
 Awesome Library - Mathematics
"A theorem is a statement which can be proven true within some logical framework.
Proving theorems is a central activity of mathematics." Provides 212 theorems.
Provides some of the more important math theorems, including Riemann hypothesis, Continuum hypothesis, P=NP, Pythagorean theorem, Central limit theorem, Fundamental theorem of calculus, Fundamental theorem of algebra, Fundamental theorem of arithmetic, Fundamental theorem of projective geometry, Classification theorems of surfaces, and Gauss-Bonnet theorem.
www.awesomelibrary.org /Classroom/Mathematics/College_Math/College_Math.html   (371 words)

  
 Citebase - A Homotopy Theory for Graphs   (Site not responding. Last check: 2007-10-13)
The main concern of the present article is the construction of an infinite cell complex, the homotopy groups of which are isomorphic to the A-homotopy groups of the given graph.
We present a natural candidate for such a cell complex, together with a homomorphism between the corresponding groups that indeed yields an isomorphism, if a cubical analog of the simplicial approximation theorem holds, which - so far - we were unable to prove.
Users are cautioned not to use it for academic evaluation yet.
www.citebase.org /cgi-bin/citations?id=oai:arXiv.org:math/0403146   (145 words)

  
 Publisher description for Library of Congress control number 95049073   (Site not responding. Last check: 2007-10-13)
The book takes the reader on a path starting from a well-motivated robust stability problem, showing the relevance of the simplicial approximation theorem and how it can be efficiently implemented using computational geometry.
The simplicial approximation theorem serves as a primer to more serious topological issues such as the obstruction to extending the Nyquist map, K-theory of robust stabilization, and eventually the differential topology of the Nyquist map, culminating in the explanation of the lack of continuity of the stability margin relative to rounding errors.
The book is suitable for graduate students in engineering and/or applied mathematics, academic researchers and governmental laboratories.
www.loc.gov /catdir/enhancements/fy0604/95049073-d.html   (198 words)

  
 Department of Mathematics   (Site not responding. Last check: 2007-10-13)
Simplicial complexes : Homology of chain complexes, Simplicial approximation theorem; edge path groupoid.
Homology: Simplicial and singular homology, Brouwer's fixed point theorem and invariance of domain.
Cohomology ring : Structure of mod 2 cohomology of projective spaces.
www.math.iitb.ac.in /courses/math/pg_courses/4sem_ma/ma508.html   (86 words)

  
 Links   (Site not responding. Last check: 2007-10-13)
U of East Anglia - Has lecture notes covering fundamental group, covering spaces, the Simplicial Approximation Theorem
Strickland's Topology Notes - Has a nice "crib sheet" collection of several theorems as well as some interesting problems
Metamath - A proof verifier and theorem database.
www.owlnet.rice.edu /~stefan83/links.html   (1783 words)

Try your search on: Qwika (all wikis)

Factbites
  About us   |   Why use us?   |   Reviews   |   Press   |   Contact us  
Copyright © 2005-2007 www.factbites.com Usage implies agreement with terms.