1 introduction
play

1 Introduction A proof of Brouwers fixed point theorem using - PDF document

Lecture date: Feb 1 st , 2008 CS 573: Algorithmic Game Theory Instructor: Chandra Chekuri Scribe: Ramakrishna Gummadi 1 Introduction A proof of Brouwers fixed point theorem using Sperners Lemma is discussed below. To recap from a


  1. Lecture date: Feb 1 st , 2008 CS 573: Algorithmic Game Theory Instructor: Chandra Chekuri Scribe: Ramakrishna Gummadi 1 Introduction A proof of Brouwer’s fixed point theorem using Sperner’s Lemma is discussed below. To recap from a previous lecture, Brouwer’s theorem claims that any continuous function that maps any set that is homeomorphic to [0 , 1] d (e.g. a closed disc) to itself has a fixed point. We will first prove this generalization and then restrict attention to [0 , 1] d . Theorem 1.1 (Brouwer’s Fixed Point Theorem) Let f : [0 , 1] d �→ [0 , 1] d be a continuous function. Then there exists a point x ∈ [0 , 1] d s.t. f ( x ) = x . More generally, this theorem holds for f : X �→ X , where X is any set homeomorphic to [0 , 1] d . Definition 1.2 (Homeomorphism) A function g : X �→ Y where X and Y are two topological spaces is a homeomorphism if the following three conditions hold: • g is continuous • g is bijective • g − 1 is continuous Note that if g : X �→ Y is a homeomorphism, g − 1 : Y �→ X is also a homeomorphism. If there exists such a g mapping two spaces X and Y , we say that X and Y are homeomorphic. Lemma 1.3 Let X be homeomorphic to [0 , 1] d . Then, the fixed point theorem holds for X if it holds for [0 , 1] d . Proof: Let f : X �→ X be the continuous function being examined. Let g be a homeomorphic Define f ′ : [0 , 1] d �→ [0 , 1] d as f ′ ( a ) = g ( f ( g − 1 ( a ))). Since f ′ is function from X to [0 , 1] d . continuous, there exists a ∗ ∈ [0 , 1] d with f ′ ( a ∗ ) = a ∗ . Let x ∗ = g − 1 ( a ∗ ). Then, g ( f ( x ∗ )) = g ( f ( g − 1 ( a ∗ ))) = f ′ ( a ∗ ) = a ∗ = g ( x ∗ ). Since, g is bijective, this implies f ( x ∗ ) = x ∗ . ✷ Remark 1.4 It is also true that any two convex compact full dimensional bodies in R d are home- omorphic to each other. 2 Sperner’s Lemma We will now prove a combinatorial result to be used for a proof of the fixed point theorem: Definition 2.1 (Triangulation) A triangulation, T of a triangle T is a set of triangles that exactly covers T and mutually intersect only along their edges. Further, let V ( T ) denote the union of the vertices of the triangles covering T . (See Figure 1 for an illustration)

  2. v 2 2 0 2 2 2 1 0 1 1 1 v 0 V 1 Figure 1: This figure illustrates the triangulation, T and an example of a valid coloring on V ( T ). The numbers denote the colors of the vertices. Note that any vertex on the edge v i , v j has a color of either i or j . Further, node v i has color i . Lemma 2.2 (Sperner’s Lemma) Consider a triangle T with vertices v 0 , v 1 , v 2 . Let T be a tri- angulation of T and V ( T ) denote its set of vertices. Consider any coloring of V ( T ) with { 0 , 1 , 2 } such that: 1. v i is colored i . ( i ∈ { 0 , 1 , 2 } ) 2. If v ∈ V ( T ) lies on the line joining v i and v j for i, j ∈ { 0 , 1 , 2 } the color of v is either i or j . Then: • There exists at least one triangle in T whose vertices have all three colors - call such a triangle a multicolored triangle. • Further, the total number of multicolored triangles in T is odd. Proof: Construct a graph G from T defined as follows (Refer to Figure 2 for an illustration): • G has a vertex a t for each triangle t ∈ T . • It has an additional vertex a 0 (corresponds to the outer face). • Vertices a t and a t ′ share an edge iff t and t ′ share an edge that is colored 0 and 1 on its two incident vertices. • a 0 is connected to all triangles that have an edge along the line joining v 0 and v 1 with incident vertex colors 0 , 1. First we note that a 0 has an odd degree. To see this, let α ( β ) denote the number of 0 − 1 (1 − 0) color transitions along the line joining v 0 to v 1 . Clearly, α − β = 1. Hence, the degree( a 0 ) = α + β = 2 α − 1, an odd number. 1 Since the total number of vertices of odd degree in a graph is 1 Note that this part of the argument is essentially Sperner’s Lemma for the case d = 1. That is, it says that, if we consider two points and partition the line joining them into multiple segments, and color the points thus obtained with the constraint that the end vertices are 0 and 1, then the total number of multicolored segments along the line will be odd.

  3. always even, the number of vertices with odd degrees other than a 0 , has to be odd. Now, for any t ∈ T , degree( a t ) ∈ { 0 , 1 , 2 } . So, a vertex of odd degree has to be of degree 1. But a vertex can be degree 1 iff it is multicolored. Hence, the number of multicolored triangles is odd. V 2 2 0 2 0 0 1 0 1 1 0 V 0 V 1 a 0 Figure 2: This figure illustrates the graph, G formed from the triangulation T . The dark nodes inside the triangles denote the vertices of G along with a 0 . Edges are the (curved) lines between them. ✷ 3 Fixed Point Theorem Now consider the fixed point theorem on [0 , 1] d . For d = 1, let f : [0 , 1] �→ [0 , 1] be continuous. Then the existence of a fixed point for f follows directly from intermediate value theorem. We will now prove the theorem for d = 2. It is easy to verify that similar arguments hold for higher dimensions (using an appropriately generalized Sperner’s lemma on an n-dimensional simplex). Theorem 3.1 Fixed point theorem for [0 , 1] 2 . Proof: Consider a triangle, T (that is closed). We will prove the theorem on T since it is home- omorphic to [0 , 1] 2 . Each x ∈ T can be uniquely represented as ( x 0 , x 1 , x 2 ) where x i ∈ [0 , 1] and x 0 + x 1 + x 2 = 1 which represents a convex combination of the vertices, { v 0 , v 1 , v 2 } (i.e. x = x 0 v 0 + x 1 v 1 + x 2 v 2 ). Note that if x lies on the line joining v i , v j , then x i + x j = 1 and x k = 0 for k / ∈ { i, j } . Let us use the notation x [ i ] to represent x i , obtained from such a decomposition. Consider a coloring g : T �→ { 0 , 1 , 2 } defined as follows: Let y = f ( x ) ∈ T have the represen- tation ( y 0 , y 1 , y 2 ). Now, define g ( x ) = i if i is the smallest coordinate such that y i < x i . Clearly, this is well defined if f has no fixed point. Further, every point on the line joining v i , v j is colored either i or j . (This is because the third coordinate is 0). Consider a sequence of successively refined triangulations, < T 0 (= T ) , T 1 , T 2 , . . . > such that the size of the triangles decreases by at least a constant factor at each step. Note that the coloring g restricted to the vertices of T i satisfies the conditions of Sperner’s lemma. So there exists a multicolored triangle t i ∈ T i for each i . Let its vertices be { v i 0 , v i 1 , v i 2 } where v i j is the vertex with color j .

  4. Now consider the sequence < v 0 0 , v 1 0 , v 2 0 , . . . > . Since T is compact, there is a convergent subse- 0 , . . . > that converges to some point x ∗ ∈ T . Note that since the size of the triangles quence < v i 1 0 , v i 2 decreases geometrically, this also implies that the sequences < v i 1 1 , v i 2 1 , . . . > and < v i 1 2 , v i 2 2 , . . . > both converge to x ∗ . Now, by the definition of the coloring, we have f ( v i k 0 [0]) < v i k 0 [0] ∀ k . Therefore, by the continuity of f , we conclude by taking the limit that f ( x ∗ )[0] ≤ x ∗ [0]. Similarly, we have for each i ∈ { 0 , 1 , 2 } , f ( x ∗ )[ i ] ≤ x ∗ [ i ]. But since, f ( x ∗ )[0]+ f ( x ∗ )[1]+ f ( x ∗ )[2] = 1 = x ∗ [0]+ x ∗ [1]+ x ∗ [2], the inequalities must in fact be equalities. ie. f ( x ∗ ) = x ∗ , leading to a contradiction. Hence, f must have a fixed point. ✷

Recommend


More recommend