Photo:1
Photo:2
Photo:3
Photo:4
Photo:1 Photo:2 Photo:3 Photo:4 |
| The method of algebraic invariants | |
| 2>
An older name for the subject was combinatorial topology, implying an emphasis on how a space X was constructed from simpler ones[citation needed] (the modern standard tool for such construction is the CW-complex). The basic method now applied in algebraic topology is to investigate spaces via algebraic invariants by mapping them, for example, to groups which have a great deal of manageable structure in a way that respects the relation of homeomorphism (or more general homotopy) of spaces. This allows one to recast statements about topological spaces into statements about groups, which are often easier to prove.
Two major ways in which this can be done are through fundamental groups, or more generally homotopy theory, and through homology and cohomology groups. The fundamental groups give us basic information about the structure of a topological space, but they are often nonabelian and can be difficult to work with. The fundamental group of a (finite) simplicial complex does have a finite presentation.
Homology and cohomology groups, on the other hand, are abelian and in many important cases finitely generated. Finitely generated abelian groups are completely classified and are particularly easy to work with.
[edit] Tags:Topological Spaces,Invariants,Homeomorphism,Combinatorial Topology,Cw-complex,Groups,Homotopy,Fundamental Groups,Homotopy Theory,Homology,Cohomology,Nonabelian,Simplicial Complex,Presentation,Finitely Generated Abelian Groups,Fundamental Group,Algebra, | |
| Setting in category theory | |
| 2>
In general, all constructions of algebraic topology are functorial; the notions of category, functor and natural transformation originated here. Fundamental groups and homology and cohomology groups are not only invariants of the underlying topological space, in the sense that two topological spaces which are homeomorphic have the same associated groups, but their associated morphisms also correspond — a continuous mapping of spaces induces a group homomorphism on the associated groups, and these homomorphisms can be used to show non-existence (or, much more deeply, existence) of mappings.
[edit] Tags:Functorial,Category,Functor,Natural Transformation,Homeomorphic,Continuous, | |
| Results on homology | |
| 2>
Several useful results follow immediately from working with finitely generated abelian groups. The free rank of the n-th homology group of a simplicial complex is equal to the n-th Betti number, so one can use the homology groups of a simplicial complex to calculate its Euler-Poincaré characteristic. As another example, the top-dimensional integral homology group of a closed manifold detects orientability: this group is isomorphic to either the integers or 0, according as the manifold is orientable or not. Thus, a great deal of topological information is encoded in the homology of a given topological space.
Beyond simplicial homology, which is defined only for simplicial complexes, one can use the differential structure of smooth manifolds via de Rham cohomology, or Čech or sheaf cohomology to investigate the solvability of differential equations defined on the manifold in question. De Rham showed that all of these approaches were interrelated and that, for a closed, oriented manifold, the Betti numbers derived through simplicial homology were the same Betti numbers as those derived through de Rham cohomology. This was extended in the 1950s, when Eilenberg and Steenrod generalized this approach. They defined homology and cohomology as functors equipped with natural transformations subject to certain axioms (e.g., a weak equivalence of spaces passes to an isomorphism of homology groups), verified that all existing (co)homology theories satisfied these axioms, and then proved that such an axiomatization uniquely characterized the theory.
A new approach uses a functor from filtered spaces to crossed complexes defined directly and homotopically using relative homotopy groups; a higher homotopy van Kampen theorem proved for this functor enables basic results in algebraic topology, especially on the border between homology and homotopy, to be obtained without using singular homology or simplicial approximation. This approach is also called nonabelian algebraic topology, and generalises to higher dimensions ideas coming from the fundamental group.
[edit] Tags:Betti Number,Euler-poincaré Characteristic,Manifold,Orientability,De Rham Cohomology,Sheaf Cohomology,Differential Equations,De Rham,Functors,Natural Transformations,Weak Equivalence,Singular Homology,Simplicial Approximation,Nonabelian Algebraic Topology,Sheaf, | |
| Applications of algebraic topology | |
| 2>
Classic applications of algebraic topology include:
The Brouwer fixed point theorem: every continuous map from the unit n-disk to itself has a fixed point.
The n-sphere admits a nowhere-vanishing continuous unit vector field if and only if n is odd. (For n = 2, this is sometimes called the "hairy ball theorem".)
The Borsuk–Ulam theorem: any continuous map from the n-sphere to Euclidean n-space identifies at least one pair of antipodal points.
Any subgroup of a free group is free. This result is quite interesting, because the statement is purely algebraic yet the simplest proof is topological. Namely, any free group G may be realized as the fundamental group of a graph X. The main theorem on covering spaces tells us that every subgroup H of G is the fundamental group of some covering space Y of X; but every such Y is again a graph. Therefore its fundamental group H is free.
On the other hand this type of application is also handled by the use of covering morphisms of groupoids, and that technique has yielded subgroup theorems not yet proved by methods of algebraic topology (see the book by Higgins listed under groupoids).
Topological combinatorics
[edit] Tags:Free Group,Brouwer Fixed Point Theorem,Hairy Ball Theorem,Borsuk–ulam Theorem,Graph,Covering Spaces,Groupoids,Topological Combinatorics,Groupoid, | |
| Notable algebraic topologists | |
| 2>
Frank Adams
Karol Borsuk
Luitzen Egbertus Jan Brouwer
William Browder
Ronald Brown (mathematician)
Henri Cartan
Samuel Eilenberg
Hans Freudenthal
Peter Freyd
Alexander Grothendieck
Friedrich Hirzebruch
Heinz Hopf
Michael J. Hopkins
Witold Hurewicz
Egbert van Kampen
Daniel Kan
Hermann Künneth
Solomon Lefschetz
Jean Leray
Saunders Mac Lane
Mark Mahowald
J. Peter May
John Coleman Moore
Jack Morava
Goro Nishida
Emmy Noether
Sergei Novikov
Lev Pontryagin
Mikhail Postnikov
Daniel Quillen
Jean-Pierre Serre
Stephen Smale
Norman Steenrod
Dennis Sullivan
René Thom
Hiroshi Toda
Leopold Vietoris
Hassler Whitney
J. H. C. Whitehead
[edit] Tags:Frank Adams,Karol Borsuk,Luitzen Egbertus Jan Brouwer,William Browder,Ronald Brown (mathematician),Henri Cartan,Samuel Eilenberg,Hans Freudenthal,Peter Freyd,Alexander Grothendieck,Friedrich Hirzebruch,Heinz Hopf,Michael J. Hopkins,Witold Hurewicz,Egbert Van Kampen,Daniel Kan,Hermann Künneth,Solomon Lefschetz,Jean Leray,Saunders Mac Lane,Mark Mahowald,J. Peter May,John Coleman Moore,Jack Morava,Emmy Noether,Sergei Novikov,Lev Pontryagin,Mikhail Postnikov,Daniel Quillen,Jean-pierre Serre,Stephen Smale,Norman Steenrod,Dennis Sullivan,René Thom,Hiroshi Toda,Leopold Vietoris,Hassler Whitney,J. H. C. Whitehead, | |
| Important theorems in algebraic topology | |
| 2>
Borsuk-Ulam theorem
Brouwer fixed point theorem
Cellular approximation theorem
Eilenberg–Zilber theorem
Freudenthal suspension theorem
Hurewicz theorem
Künneth theorem
Poincaré duality theorem
Universal coefficient theorem
Van Kampen's theorem
Generalized van Kampen's theorems
Higher homotopy, generalized van Kampen's theorem[1][2]
Whitehead's theorem
[edit] Tags: | |
| See also | |
| 2>
Important publications in algebraic topology
Higher dimensional algebra
Higher category theory
Van Kampen's theorem
Groupoid
Lie groupoid
Lie algebroid
Grothendieck topology
Serre spectral sequence
Sheaf
Homotopy
Fundamental group
Homology theory
Homological algebra
Cohomology theory
K-theory
Algebraic K-theory
Topological quantum field theory
Exact sequence
[edit] Tags: | |
| Notes | |
| 2>
^ R. Brown, K. A. Hardie, K. H. Kamps and T. Porter (2002), "A homotopy double groupoid of a Hausdorff space", Theory and Applications of Categories 10: 71–93.
^ R. Brown, K. H. Kamps and T. Porter (2005), Theory and Applications of Categories 14 (9): 200–220.
[edit] Tags: | |
| References | |
| 2>
Wikimedia Commons has media related to: Algebraic topology
Bredon, Glen E. (1993), Topology and Geometry, Graduate Texts in Mathematics 139, Springer, ISBN 0-387-97926-3, http://books.google.com/?id=G74V6UzL_PUC&printsec=frontcover&dq=bredon+topology+and+geometry, retrieved 2008-04-01 .
Hatcher, Allen (2002), Algebraic Topology, Cambridge: Cambridge University Press, ISBN 0-521-79540-0, http://www.math.cornell.edu/~hatcher/AT/ATpage.html . A modern, geometrically flavored introduction to algebraic topology.
Maunder, C. R. F. (1970), Algebraic Topology, London: Van Nostrand Reinhold, ISBN 0-486-69131-4 .
R. Brown and A. Razak, A van Kampen theorem for unions of non-connected spaces, Archiv. Math. 42 (1984) 85-88.
P. J. Higgins, Categories and groupoids (1971) Van Nostrand-Reinhold.
Ronald Brown, Higher dimensional group theory (2007) (Gives a broad view of higher dimensional van Kampen theorems involving multiple groupoids).
E. R. van Kampen. On the connection between the fundamental groups of some related spaces. American Journal of Mathematics, vol. 55 (1933), pp. 261–267.
R. Brown, P.J. Higgins, and R. Sivera. Non-Abelian Algebraic Topology: filtered spaces, crossed complexes, cubical higher homotopy groupoids; European Mathematical Society Tracts in Mathematics Vol. 15, 2011, downloadable PDF:
Van Kampen's theorem on PlanetMath
Van Kampen's theorem result on PlanetMath
R. Brown, K. Hardie, H. Kamps, T. Porter: The homotopy double groupoid of a Hausdorff space., Theory Appl. Categories, 10:71–-93 (2002).
Dylan G. L. Allegretti, Simplicial Sets and van Kampen's Theorem (Discusses generalized versions of van Kampen's theorem applied to topological spaces and simplicial sets).
[edit] Tags:Mathematics, | |
| Further reading | |
| 2>
Allen Hatcher, Algebraic topology. (2002) Cambridge University Press, Cambridge, xii+544 pp. ISBN 0-521-79160-X and ISBN 0-521-79540-0.
May, J. P. (1999), A Concise Course in Algebraic Topology, U. Chicago Press, Chicago, http://www.math.uchicago.edu/~may/CONCISE/ConciseRevised.pdf, retrieved 2008-09-27 .(Section 2.7 provides a category-theoretic presentation of the theorem as a colimit in the category of groupoids).
Higher dimensional algebra
Ronald Brown, Philip J. Higgins and Rafael Sivera. 2009. Higher dimensional, higher homotopy, generalized van Kampen Theorem., in Nonabelian Algebraic Topology: filtered spaces, crossed complexes, cubical higher homotopy groupoids. 703pp
Ronald Brown, Topology and groupoids (2006) Booksurge LLC ISBN 1-4196-2722-8.
v
d
e
Areas of mathematics
Areas
Arithmetic · Algebra (elementary – linear – multilinear – abstract) · Geometry (Discrete geometry – Algebraic geometry – Differential geometry) · Calculus/Analysis · Set theory · Logic · Category theory · Number theory · Combinatorics · Graph theory · Topology · Lie theory · Differential equations/Dynamical systems · Mathematical physics · Numerical analysis · Computation · Information theory · Probability · Statistics · Optimization · Control theory · Game theory
Divisions
Pure mathematics · Applied mathematics · Discrete mathematics · Computational mathematics
Category · Mathematics portal · Outline · Lists
Retrieved from "http://en.wikipedia.org/w/index.php?title=Algebraic_topology&oldid=474223895"
Categories: Algebraic topologyHidden categories: All articles with unsourced statementsArticles with unsourced statements from July 2011
Personal tools
Log in / create account
Namespaces
Article
Talk
Variants
Views
Read
Edit
View history
Actions
Search
Navigation
Main page
Contents
Featured content
Current events
Random article
Donate to Wikipedia
Interaction
Help
About Wikipedia
Community portal
Recent changes
Contact Wikipedia
Toolbox
What links here
Related changes
Upload file
Special pages
Permanent link
Cite this page
Print/export
Create a bookDownload as PDFPrintable version
Languages
العربية
Български
Català
Česky
Deutsch
Español
Esperanto
فارسی
Français
Hrvatski
Italiano
עברית
ქართული
Nederlands
日本語
Norsk (nynorsk)
Polski
Português
Русский
Slovenčina
Српски / Srpski
Suomi
Українська
Tiếng Việt
中文
This page was last modified on 31 January 2012 at 15:28.
Text is available under the Creative Commons Attribution-ShareAlike License;
additional terms may apply.
See Terms of use for details.
Wikipedia® is a registered trademark of the Wikimedia Foundation, Inc., a non-profit organization.Contact us
Privacy policy
About Wikipedia
Disclaimers
Mobile view
if ( window.isMSIE55 ) fixalpha();
if ( window.mediaWiki ) {
mw.loader.load(["mediawiki.user", "mediawiki.util", "mediawiki.page.ready", "mediawiki.legacy.wikibits", "mediawiki.legacy.ajax", "mediawiki.legacy.mwsuggest", "ext.gadget.wmfFR2011Style", "ext.vector.collapsibleNav", "ext.vector.collapsibleTabs", "ext.vector.editWarning", "ext.vector.simpleSearch", "ext.UserBuckets", "ext.articleFeedback.startup", "ext.articleFeedbackv5.startup", "ext.markAsHelpful"]);
}
if ( window.mediaWiki ) {
mw.user.options.set({"ccmeonemails":0,"cols":80,"date":"default","diffonly":0,"disablemail":0,"disablesuggest":0,"editfont":"default","editondblclick":0,"editsection":1,"editsectiononrightclick":0,"enotifminoredits":0,"enotifrevealaddr":0,"enotifusertalkpages":1,"enotifwatchlistpages":0,"extendwatchlist":0,"externaldiff":0,"externaleditor":0,"fancysig":0,"forceeditsummary":0,"gender":"unknown","hideminor":0,"hidepatrolled":0,"highlightbroken":1,"imagesize":2,"justify":0,"math":1,"minordefault":0,"newpageshidepatrolled":0,"nocache":0,"noconvertlink":0,"norollbackdiff":0,"numberheadings":0,"previewonfirst":0,"previewontop":1,"quickbar":5,"rcdays":7,"rclimit":50,"rememberpassword":0,"rows":25,"searchlimit":20,"showhiddencats":false,"showjumplinks":1,"shownumberswatching":1,"showtoc":1,"showtoolbar":1,"skin":"vector","stubthreshold":0,"thumbsize":4,"underline":2,"uselivepreview":0,"usenewrc":0,"watchcreations":1,"watchdefault":0,"watchdeletion":0,"watchlistdays":3,"watchlisthideanons":0,
"watchlisthidebots":0,"watchlisthideliu":0,"watchlisthideminor":0,"watchlisthideown":0,"watchlisthidepatrolled":0,"watchmoves":0,"wllimit":250,"flaggedrevssimpleui":1,"flaggedrevsstable":0,"flaggedrevseditdiffs":true,"flaggedrevsviewdiffs":false,"vector-simplesearch":1,"useeditwarning":1,"vector-collapsiblenav":1,"usebetatoolbar":1,"usebetatoolbar-cgd":1,"wikilove-enabled":1,"variant":"en","language":"en","searchNs0":true,"searchNs1":false,"searchNs2":false,"searchNs3":false,"searchNs4":false,"searchNs5":false,"searchNs6":false,"searchNs7":false,"searchNs8":false,"searchNs9":false,"searchNs10":false,"searchNs11":false,"searchNs12":false,"searchNs13":false,"searchNs14":false,"searchNs15":false,"searchNs100":false,"searchNs101":false,"searchNs108":false,"searchNs109":false,"gadget-wmfFR2011Style":1});;mw.user.tokens.set({"editToken":"+\\","watchToken":false});;mw.loader.state({"user.options":"ready","user.tokens":"ready"});
/* cache key: enwiki:resourceloader:filter:minify-js:4:b41a86ec4e0fe8329bc3ce917e792339 */
}
Tags: | |
zote monety click here click here click here click here |