기본군
노트
위키데이터
- ID : Q662830
말뭉치
- D. K. Biss (Topology and its Applications 124 (2002) 355-371) introduced the topological fundamental group and presented some interesting basic properties of the notion.[1]
- one sometimes loosely speaks of ‘the’ fundamental group of a connected space.[2]
- There is a relation to universal covers: Under suitable conditions the group of cover automorphisms of a universal cover is isomorphic to the fundamental group of the covered space.[2]
- In particular in algebraic geometry and arithmetic geometry this essentially identifies the concept of fundamental group with that of Galois groups.[2]
- For this reason one also speaks of the algebraic fundamental group in this context.[2]
- In the mathematical field of algebraic topology, the fundamental group of a topological space is the group of the equivalence classes under homotopy of the loops contained in the space.[3]
- This set (with the group structure described below) is called the fundamental group of the topological space X at the base point x 0 {\displaystyle x_{0}} .[3]
- It becomes a group (and therefore deserves the name fundamental group) using the concatenation of loops.[3]
- The fundamental group of the plane punctured at n points is also the free group with n generators.[3]
- In fact, the fundamental group only depends on the homotopy type of .[4]
- A space with a trivial fundamental group (i.e., every loop is homotopic to the constant loop), is called simply connected.[4]
- The underlying set of the fundamental group of is the set of based homotopy classes from the circle to , denoted .[4]
- When is a continuous map, then the fundamental group pushes forward.[4]
- Exercise (i) Show that the fundamental group of the circle S(1) is Z, the additive group of the integers.[5]
- A Hopf space is a space in which the proof given above for the statement that the fundamental group of a topological group is Abelian still works.[5]
- The definition of the fundamental group as the space of path components of gives a topology on the fundamental group.[6]
- It turns out, though, that if the path component of in is a locally path-connected space, then so is , in which case the fundamental group has a discrete topology.[6]
- Moreover, any path between these two points yields an isomorphism, and any two such isomorphisms have quotient equal to an inner automorphism of the fundamental group at one point.[6]
- All loops based at , up to homotopies where the intermediaries must be loops but need not be based at conjugacy class set of fundamental group ?[6]
- \pi _{1}(X,x_0)\rightarrow \check{\pi }_1(X,x_0)\) from the fundamental group to the first shape group is injective (See Sect.[7]
- The fundamental group is the first of what are known as the homotopy groups of a topological space.[8]
- An easy way to approach the concept of fundamental group is to start with a concrete example.[9]
- This type of approach constitutes the base of the definition of fundamental group and explains essential differences between different kinds of topological spaces.[9]
- Now, in a fundamental group, we will work with loops.[9]
- This section is dedicated to the calculation of the fundamental group of S 1 {\displaystyle S^{1}} that we can consider contained in the complex topological space.[9]
- I want to show the fundamental group of a topological group is abelian.[10]
- I have just learned the fundamental group.[10]
- For well-behaved topological spaces, there are several equivalent definitions for the fundamental group.[11]
- On the other hand, we will find that the fundamental group is too unwieldy to compute (and for deep reasons).[12]
- Since we want to be able to readily compute the number of holes in twisted and tied-up spaces, we will need to scrap the fundamental group and try something else.[12]
- For now, we will develop the idea of homotopy and the fundamental group.[12]
- Although we have not proved it here, the fundamental group is a topological invariant.[12]
- Note that the fundamental group is not in general abelian.[13]
- In order for the fundamental group to be a useful topological concept, any two spaces that are topologically "the same" must have the same fundamental group.[13]
- Daniel K. Biss, The topological fundamental group and generalized covering spaces , Topology and its Applications, Vol.[14]
소스
- ↑ Ghane , Hamed , Mashayekhy , Mirebrahimi : Topological Homotopy Groups
- ↑ 2.0 2.1 2.2 2.3 fundamental group in nLab
- ↑ 3.0 3.1 3.2 3.3 Fundamental group
- ↑ 4.0 4.1 4.2 4.3 Fundamental Group -- from Wolfram MathWorld
- ↑ 5.0 5.1 Algebraic Topology: Homotopy
- ↑ 6.0 6.1 6.2 6.3 Fundamental group
- ↑ On fundamental groups with the quotient topology
- ↑ Topology - Algebraic topology
- ↑ 9.0 9.1 9.2 9.3 Topology/The fundamental group
- ↑ 10.0 10.1 The fundamental group of a topological group is abelian
- ↑ What is the fundamental group?
- ↑ 12.0 12.1 12.2 12.3 The Fundamental Group — A Primer
- ↑ 13.0 13.1 Art of Problem Solving
- ↑ Fundamental group as topological group