ALMOST ALL SIMPLY CONNECTED CLOSED SURFACES ARE RIGID
|
|
- Austin Bell
- 6 years ago
- Views:
Transcription
1 ALMOST ALL SIMPLY CONNECTED CLOSED SURFACES ARE RIGID BY HERMAN GLUCK 1, INTRODUCTION, Are closed surfaces rigid? Euler thought so, and conjectured in 1766, "A closed spacial figure allows no changes, as long as it is not ripped apart" [6], and expanded on this in letters to Lagrange in But the conjecture has not yet yielded, and is surely one of the oldest and most beautiful unsolved problems in geometry in the large. What is the evidence in its favor? The experimental evidence is of two sorts. Most cardboard models of closed surfaces, such as the boundaries of the regular solids (but also nonconvex surfaces and those of different topological type) seem to be rigid and not flex. More interesting, some models do seem to flex, but in each case the apparent flexing has been traceable to slight distortions, such as bending of the faces or separation of the vertices, due to the nature of construction. The first mathematical advance was made by Cauchy [2] in 1813, who proved that two closed convex polyhedra, constructed from pairwise congruent faces assembled in the same order, were in fact congruent themselves. Hence a closed strictly convex polyhedron must be rigid because any slight flexing of it would still be convex and hence congruent to it. Similar results were obtained by Liebmann [8] in 1899 for analytic surfaces, and by Cohn-Vossen [3] in 1936 for the smooth case. I offer here a simple argument that a closed simply-connected surface in three space is almost always rigid; Euler's conjecture in this case is therefore "statistically" true. I think the same should be provable for any closed surface in three space, regardless of topological type, but I have been unable to do this. In order to provide a self-contained introduction to the rigidity problem, I have included Alexandrov's proof of the infinitesimal rigidity of strictly convex polyhedra in section 5. The reader wishing a guide to the history and literature of this problem should first consult Efimov's introduction and appendix in [5], and then the standard bible [i] by Alexandrov.
2 226 This paper is organized as follows: 2. Rigidity - competing definitions and their equivalence, 3. Infinitesimal rigidity - competing definitions and their equivalence, 4. Infinitesimal rigidity implies rigidity, S. Strictly convex closed surfaces are infinitesimally rigid, hence rigid, 6. Almost all simply connected closed surfaces are infinitesimally rigid, hence rigid. I have profited from reading Robin Langer's honors thesis [7], in which several of the ideas to be discussed below were recast in more elegant form, and I have borrowed from his presentation. I have also benefited from many discussions with David Singer. Some new and exciting work on the rigidity conjecture is being done by Robert Connelly, using methods of complex analysis, but this is not yet in print. 2, RIGIDITY, Let K be a simplicial complex whose underlying space is ho- meomorphic to the two-sphere. K is otherwise arbitrary and will remain fixed for the entire story. A polyhedron in three-space, combinatorially the same as K, is realized by a simplexwise linear map P : K + R 3. For simplicity, we do not exclude the degener- ate maps at this point. Such maps are determined by their values on the vertices vl, v2,..., v V of K, and hence correspond to V-tuples (PI' P2'... PV ) of points of R 3, The set of 3V all such polyhedra is therefore parametrized by R, and by abuse we allow our- selves to write P = (PI' P2... ' PV R3V Our goal is to show that almost all such polyhedra are rigid, in that the set of rigid ones contains an open and dense subset of R 3V. Two polyhedra P = (Pl... 'Pv ) and Q = (ql'... qv ) are CONGRUENT, written P ~ Q, if there is a rigid motion h : R 3 + R 3 such that hp = Q : K + R 3. Equivalently, II Pi - Pj II = H qi - qj II for 1! i, j iv, where II Jl is the Euclidean norm in R 3. The congruence class of P in R 3V will be denoted by [[P]]. By contrast, P and Q are I$OM YRIC, written P ~ Q, if each face of P is congruent to the corresponding face of Q, equivalently if P and Q both pull the Riemannian metric on R 3 back to the same (possibly degenerate) metric on K. Let E be the set of pairs (i,j), 1 ~ i, j ~ V, for which an edge of K connects the vertices v. and v.. Then P is isometric to Q if and only if l ]
3 227 [I Pi - Pj II = II qi - qj II for (i,j) c E. Note that this capitalizes on the fact that the faces of K are triangular. The isometry class of P in R ~V will be denoted by [P]. Since congruence implies isometry, [[P]] c [p]. Though they are equal for a tetrahedron, they may easily be unequal. For example, if P is a house whose roof slopes on all four sides, and Q is reconstructed from the same pieces but with its roof dipping into the body so as to form a large trough, then P and Q are isometric but not congruent, so that [[P]] is a proper subset of [P]. What do [[P]] and [P] look like as subsets of R3V? Since the equation LI Pi - Pj ;I = II qi - qj II can be written as a quadratic polynomial in the coordinates of the vertices of Q, both [[P]] and [P] are algebraic varieties in R ~V. If P does not lie in any plane in R 3, then the group of all rigid motions of R 3 acts effectively on [[P]], which is therefore homeomorphic to two disjoint copies of R 3 x p~ (where p3 denotes projective 3-space), embedded as an algebraic submanifold of R 3V. The appearance of [P] is less clear. If the rigidity conjecture is correct, then any embedded P is rigid and therefore (as we will see shortly) [P] is a finite disjoint union of congruence classes and hence an algebraic submanifold of R 3V. But a priori we only know that [P] is an algebraic variety. Indeed, if we consider instead the simplexwise linear maps of a quadrilateral into the plane R z, and let P denote a square, then [P] is homeomorphic to R z x S 1 x (S 1 V SI), where S 1 V S 1 denotes the wedge of two circles (a figure eight). Hence in this case, [P] is a four dimensional algebraic variety with singularities along a three dimensional subvariety. We now crystallize the notion of rigidity by first offering some competing definitions and then observing that they are equivalent. Let H Ii also denote the Euclidean norm in R 3V, so that we may speak of the distance between polyhedra (each a linear map of K into R3). DEFINITION 2,1. A polyhedron P is RIGID if there exists an E > 0 such that any polyhedron Q, isometric to p and within g of P, is actually con- gruent to P. In symbols, Q ~ p and II Q - P II < c ~ Q ~ P. For the purposes of the following discussion, we also say Q is ~-RIGID. DEFINITION 2.2, P is RIGID if any path in [P] lies entirely in [[P]]. beginning at P actually
4 228 DEFINITION 2,3, p is RIGID if any analytic path in [P] beginning at P lies entirely in [[P]]. The first definition calls P rigid if a dissection and reassembly of P into a polyhedron approximating it can only yield a bodily displacement of P. The second calls P rigid if no continuous "flexing" of P is possible, and the third is just a technical modification of this. also [P]. REMARK (2,4), If P is g-rigid and Q is congruent to P, then Q is g-rigid, for the same c. Hence [[P]] has distance > g from the rest of REMARK (2,5), ~or any P, [P] has only finitely many topological compo- nents, since as a real algebraic variety it can be written as a finite disjoint union of connected real algebraic manifolds by [12]. REMARK (2,6), Any collection of polyhedra which are isometric to one another, pairwise noncongruent and g-rigid (for varying g) must be finite. For by (2.4), each P in the collection yields two components of [P], namely the two pieces of [[P]], while by (2.5) there can only be finitely many components. THEOREM 2,7, The three definitions of rigidity are equivalent. If P is e-rigid, then a continuous path in [P] beginning at P would, by (2.4), have to remain in [[P]]. Hence the first definition implies the second, which obviously implies the third. Suppose the first definition fails. Then any neighborhood of P in [P] contains points of [P] - [[P]]. Since [P] is a real algebraic variety and [[P]] a subvariety, Lemma 18.3 of [i0] can be applied to yield an analytic path ~(t) in [P], with ~(0) = P and ~(t) E [p] - [[p]] for t > 0. Thus the third definition also fails, so all three are equivalent. 3, INFINITESIMAL RIGIDITY, In this section we give two definitions of in- finitesimal rigidity, provide algebraic formulations and geometric motivations for each, and then prove they are equivalent. The notion of infinitesimal rigidity is stricter than that of rigidity, and corresponds to the conditions an engineer would require to be satisfied by a collection of rods, joined but freely pivoting at their ends, before certifying rigidity. Infinitesimal rigidity is a linearized version of rigidity, with a subsequent loss of "precision". DEFINITION 3,1, Ca) A family ( V) of vectors in R 3 will be called an INFINITESIMAL ISOMETRIC PERTURBATION of the polyhedron P : K R 3 if
5 229 (3,2) (Pi - Pj) " (6i " 6j) = 0 for all (i,j) E E, where the dot indicates the inner product in R 3 (b) Suppose that t and r are any two vectors in R 3, and let 6 = i t + (Pi x r) for 1 < i < V, where the cross denotes the vector cross product in R ~. Then (Pi - Pj) " (6i - 6j) = (Pi - Pj) ' ((Pi - Pj) r) = 0, for all i,j, whether or not corresponding to an edge of K. Such a choice of (61,...,6V) is therefore certainly an infinitesimal isometric perturbation, and is called an INFINITESIMAL CONGRUENCE. (c) An infinitesimal isometric perturbation which is not an infinitesimal congruence is called an INFINITESIf4AL FLEXING. If P admits an infinitesimal flexing, it is INFINITESIMALLY FLEXIBLE; otherwise it is INFINITESIVALLY RIGID. ALGEBRAIC FORMULATION 3,3, Let K have V vertices, E edges and F faces. Then V - E + F = 2 and 3F = 2E; hence E = 3V - 6. Technically there are 2E equations in system (3.2), but the equations for (i,j) and (j,i) ~ E are really the same. Thus we may regard (3.2) as a system of E = 3V - 6 equations in the 3V scalar unknowns (6 I,...,6V). An infinitesimal isometric perturbation of P = (PI'''"Pv) is therefore an element in the kernel of the linear map L : R 3V R ~V-6 L( V) = (... (Pi - Pj) " (6i 6j)... ), where the component displayed on the right corresponds to the edge v.v. I j of K, with i < j say. If P does not degenerate to a subset of a line in R 3, then it is easy to see that the infinitesimal congruences form a 6-dimensional subspace of the kernel of L. In this case, P is infinitesimally rigid if and only if dim(ker L) = 6. If P does degenerate to a subset of a line, it is easy to see that P must be infinites- imally flexible. GEOMETRIC MOTIVATION 34 Suppose we have a smooth isometric deformation of P, that is, a smooth one-parameter family P(t) = (p1(t)... ~Pv(t)) satisfying (Pi(t) - pj(t)) (Pi(t) - pj(t)) = constant, for (i,j) E. Differentiating with respect to time t, (Pi(t) - pj(t)) (pi'(t) - pj'(t)) = 0 for (i,j) E E.
6 230 Setting Pi = Pi (0) and 6 i = pi'(o), we get system (3.2). Thus the time derivative of a smooth isometric deformation of P is an infinitesimal isometric perturbation of P. If P is moved as a "rigid body" in R a, then it is easy to see that the corresponding time derivative has the form 6 i = t + (Pi x r), where t corresponds to translations and r to pure rotations with angular velocity r. In this case (61... dv) is an infinitesimal congruence. For a different geometric point of view, suppose that (~i,...,@) is an infinitesimal isometric perturbation of P = (PI'... PV )" Then consider the one-parameter family of polyhedra The square of the length of its ij edge is P(t) = (Pl + t61... 'Pv + t6v) " and the time derivative of this is [(Pi - Pj) + t(6i - 6j)] [(Pi - Pj) + t(di - 6j)], 2[(Pi - pj) + t(6 i - 6j)] " (@i - 6j). Evaluated at t = 0, we get 2(Pi - Pj ) (6i - ~j ) = 0. This works both ways; that is, (~l,...,@) is an infinitesimal isometric perturbation of P if and only if the time derivative at t = 0 of the squares of the lengths of the edges of P(t) is O. In other words, the edge lengths of P(t) may be changing at t = 0, but this is not detectable in first order terms. EXAMPLES 3,5, Infinitesimal congruences are easy to visualize, but what do infinitesimal flexings look like? The simplest example: suppose P has a FLAT VERTEX Pi' meaning the dihedral angles at the edges of P containing Pi are all equal to ~. Then (0...,0,6i,0... 0), where ~i is a vector normal to the plane through Pi which contains all the faces of P at Pi' is an infinitesimal flexing of P. This is illustrated in the first figure below. A more subtle example is illustrated in the second figure. In the octahedron shown there, the quadrilateral ABCD is planar but nonconvex. Edge BC when prolonged meets edge AD at the point B'; similarly, DC when prolonged meets AB at D'. The vertex E is chosen to lie somewhere directly over the line through B' and D'; the vertex F is chosen to lie somewhere directly below this line. Constructed this way, it turns out that the octahedron is infinitesimally flexible, and
7 231 in fact in such a way as to "preserve" the planarity of ABCD. The reader may find it instructive to compute the actual infinitesimal flexing given this information. i FIGURE 1 E A s FIGURE 2
8 232 Now we consider the second version of infinitesimal rigidity. that DEFINITION 3,6, (a) Let {mij : (i,j) E} be a set of real numbers such (i) m.. : m.. lj Jl Pi - P~ (ii) ~ ~.. = 0 for I < i < V. j : (i,j) E 13 Ifpi - pjt[ (Notice that for this to make sense, we must have Pi Pj {mij} will be called an w-bending of P = (pl,...,pv). W.. =!I (b) If we replace ~ij by ~ij Ilpi ~ p]il (i) K. = ~.. zj 3i for i # j.) Then then the two conditions become (ii) ~ ~ij (Pi - Pj) = 0 for j : (i,j) e E l<i<v. Such a set of numbers will also define an m-bending of P, and permit Pi = Pj for i # j in the definition. is (c) If P admits a nonzero m-bending, then it is m-flexible; otherwise it m-rigid. ALGEBRAIC FORMULATION 3,7, Since we require ~ij = %1' let us regard {~ij} as a set of E real numbers, for example by demanding i < j. Then (ii) above may be regarded as a system of 3V equations in E : 3V - 6 unknowns. An e-bending of P is therefore an element in the kernel of the linear map M : R3V -6 * R av M(... mij... ) = (~ $1j(Pl - Pj)... ~ ~vj(pv - Pj)) " The polyhedron P is u-rigid if and only if dim(ker M) = O. GEOMETRIC MOTIVATION 5,8, SuppOse we have a smooth isometric deformation P(t) = (p~(t),...,pv(t)) of P = P(O). Let ~ij(t) be the dihedral angle at the edge Pi(t)pj(t) of P(t), measured from the inside say. If aij'(t) is its time derivative, then Pi(t) - p~(t) ~ij' (t) i@,i(t) PJ (t)ll is the angular velocity vector of a face of P(t) with respect to its neighbor across the edge Pi(t)pj(t)"
9 233 The motion of this face with respect to its neighbor is a rotation of R 3, and hence a path in SO(3) if we choose the origin at Pi(t). If we view things so that at t = 0 we start with the identity, then the tangent vector to this path at t = 0 is an element of the Lie algebra so(3), and is precisely the angular velocity at that instant. Now hold the vertex Pi(t) fixed in mind and consider the succession of faces of P(t) around it. The motion of a face with respect to its neighbor once removed is the composition of two motions with respect to immediate neighbors. Since composition in S0(3) corresponds to addition in so(3), the tangent vector at t = 0 to this composition is the sum of the two corresponding tangent vectors, that is, the sum of the two angular velocity vectors. Composing fully around the vertex Pi(t), we come back to the first face, which does not move with respect to itself. Hence the sum of the angular velocity vectors is 0. Put and we get ~ij = ~ij '(0) and Pi = Pi (0) ' Pi - Pj = 0 ~ij llpi - pjl] j : (i,j) 6 E for i < i < V. THEOREM 3,9, Infinitesimal rigidity and m-rigidity are equivalent. Recall the linear maps L : R 3V + R 3V-6 L(61... ~V ) = (... (Pi - Pj) " (~i - 6j)... ) (i,j) E E i< j and R3V -6 M : + R 3v M(... m13... ) = (~ ~lj(pl - pj)... ~ mvj(pv - pj)) used in the algebraic formulation of the competing definitions. Let R 3V and R 3V-~ have their usual inner products. CLAIM, The maps L and M are dual, that is 6 MCg) = LC ) g, where 6 = (61,...,6V) To see this, and ~ = {~ij : (i,j) E E, i < j}.
10 234 L(6} ~ = [ (Pi - Pj) " (6i - 6j) ~'ij i<j i<j ~ (Pi - Pj) " 6i ~ij + i<j [ (PJ - pi) " 6j --~ij " Interchange the indices i and j in the second summation, getting Z. CPi - Pj) " 6i $ij I,] : f 6i " i (f o~-~jcpi - pj)) j = 6 M(~), and verify the claim. To complete the proof of the theorem, suppose first that erate to a subset of s line. Then P does not degen- is infinitesimally rigid ~=* dim(ker L) = 6 L is onto *=*M is one-one P is w-rigid. Finally, suppose P does degenerate to a subset of a line. Then any (61...,~V) with each 6i perpendicular to this line gives an infinitesimal isometric deformation of P. Since P has at least four vertices, the dimension of these deformations is greater than 6, hence P is infinitesimally flexible. Furthermore, by duality there exists a nonzero m-bending, so P is also m-flexible. Thus the two definitions are equivalent. 4, INFINITESIMAL RIGIDITY IMPLIES RIGIDITY, THEOREM 4,1, Infinitesimal rigidity implies rigidity. This is just the implicit function theorem. R 3V R 3V-6 defined by Consider the smooth map f : + (i,j) 6 E f(p:... PV ) = (... (Pi - Pj) " (Pi - Pj)... ) i < j This map assigns to each polyhedron P the set of squares of the lengths of its edges. Its differential at P is a linear map dfp : R 3V + R 3V-6, and one easily sees that dfp ( V) = (... 2(Pi - Pj) " (~i - 6j)... ).
11 235 Hence dfp = 2L. Therefore is infinitesimally rigid ~=~ dim(ker L) = 6 ~=~ L is onto ~=~ dfp is onto ~=~ P is a regular point of f. Now by the implicit function theorem, if P is a regular point of f, then f-lf(p) is a 6-dimensional manifold near P. But f-lf(p) = [p]. Since P is infinitesimally rigid, it cannot degenerate to a subset of a line and therefore, as seen before, [[P]] is also a 6-dimensional manifold near P. Hence [P] and [[P]] coincide near P. It follows that any polyhedron, near P and isometric to it, is actually congruent to it. But this means that P is rigid. 5, STRICTLY CONVEX POLYHEDRA ARE INFINITESIMALLY RIGID, The polyhedron P is STRICTLY C~VEX if through each vertex Pi of P there may be drawn a plane meeting P only at Pi" THEOREM 5,1, (Cauchy-Dehn-Weyl-Alexandrov) Strictly convex polyhe~a are infinitesimally rigid. This was first proved by Dehn [4] in 1916 by a clever, somewhat involved, argument, and again by Weyl [ii] the following year. The best proof, from which we extract, was given by A. D. Alexandrov in [i], and this in turn is really an adaptation of Cauchy's original argument for the rigidity of convex polyhedra. LEMMA 5,2, (Cauchy) Let L be a finite graph on the two-sphere $2~ with no circular edges and no region of S 2 - L bounded by just two edges of L. Mark the edges of L randomly with + and -, and let N v be the number of sign changes as one circles round the vertex v. Let N = ~ N v be the total number v of sign changes. Let V be the number of vertices of L. Then N<4V-8. In particular, it is IMPOSSIBLE for each N to be at least 4. v The reader may care to quickly check the lemma on the one-skeleton of an octa- hedron, and also to observe the necessity of outlawing regions bounded by just two edges, for otherwise an arbitrary even number of great semicircles can be drawn from the north to south pole and alternately marked + and - Let N G denote the number of sign changes as one traverses the boundary of a region G of S 2 - L. Then N = ~G NG also. Let F n denote the number of regions
12 236 of S 2 - L having n boundary edges, where an edge is counted twice for G if G lies on both sides of this edge. Note that if G has n edges, then N G is an even number < n. Hence N = ~G NG <- 2 F F~ + 4 F s + 6 F F Let V, E and F denote the number of vertices, edges and faces of L, as usual, and C the number of components of L. Then V - E + F = 1 + C > 2 2E = ~ n Fn, F = Z F n Hence 4V - 8 > 4E - 4F ~(2n- 4)F n = 2 F F~ + 6 F s + 8 F 6 + i0 F > 2 F F + 4 F s + 6 F F > N, proving Cauchy's lemma. L MMA 5,3, (Cauchy - Alexandrov) Let Po be a strictly convex vertex of P (obvious definition), and pl,...,pn those vertices of P joined to Po by edges. Let ~i... ~n be real n~mbers satisfying n % (Pi - Po ) = 0 i=l Then either (1) all ~. = O, or else (2) the sign of ~i changes at least four times as one circles around Po" ignoring any zeros. Let the number of sign changes, as counted above, be called the II~DEX at Po" It is an even number > 0. We must show two things: (a) If the index is 0, then all ~. must be 0. 1 (b) The index can't be 2. (a) Suppose the index is 0. The vectors Pi - Po all lie in some open half space by strict convexity of P at Po" But then Zi ~--i (Pi - Po ) = 0 with all ~i of the same sign implies all ~i = 0. (b) Suppose the index were 2. Then the vertices about Po can be renumbered so that in circling PO' ~i... ~k ~ 0 while ~X+I... m--n are L O, By strict con- vexity, there is a plane through Po separating pl,...,p k from Pk+1... 'Pn" The
13 237 vectors ~i (Pi - Po ) which are nonzero therefore all lie in the same corresponding open half space. Since [i ~i (Pi - Po ) = 0, all ~i = 0, so in fact the index can't equal 2, proving the lemma. PROOF OF THEOREM 5,1, We want to show that a strictly convex polyhedron is infinitesimally rigid, and since the two versions of infinitesimal rigidity are equivalent, we will show that P is u-rigid. Suppose {~..} corresponds to an u-bending of P. Mark each edge of P with ij a + sign if the corresponding ~.. > 0, with a sign if ~.. < 0, and leave i] ij it unmarked if ~-.. = 0. Delete the unmarked edges of P and let the remaining z3 edges form the graph L. By Lemma 5.3, the index of each vertex of L is >_ 4. Since L is part of a simplicial complex, the hypotheses imposed on it by Lemma 5.2 are satisfied, while the conclusion is contradicted...unless there is no L at all because all the ~.. = 0. z] Thus the u-bending is trivial, so P is infinitesimally rigid. P COROLLARY 5,4, (Cauchy) Strictly convex polyhedra are rigid. Strictly convex polyhedra are infinitesimally rigid by Theorem 5.1, rigid by Theorem 4.1. and hence 6. ALMOST ALL SIMPLY CONNECTED SURFACES ARE RIGID, THEOREM 6,1, Let K be a simplicial complex whose underlying space is homeo- morphic to the two-sphere, and as before, identify the space of all simplexwise linear maps of K into R 3 with R 3V. Then the infinitesimally rigid polyhedra correspond to an open and dense subset of R 3V, and the rigid ones contain these. Let IF denote the subset of R 3V corresponding to the infinitesimally flex- ible polyhedra. A polyhedron p E IF if and only if the corresponding linear map L : R 3V + R 3V-6 has more than a 6-dimensional kernel. The entries in the matrix of L are either 0, x i - xj, Yi - Yj' z i - zj, where Pi = (xi'yi'zi)' The condi- tion that L have more than a 6-dimensional kernel can be expressed by taking the sum of the squares of the determinants of all 3V-6 by 3V-6 submatrices of L, and setting this equal to 0. Since this is a polynomial in the coordinates of the 3V vertices of P, IF is a real algebraic variety in R. Is it proper, or could it possibly be all of We pause to state R3V? STEINITZ' THEOREM. Any simplicial complex morphic to a two-sphere admits a simplexwise linear embedding into is strictly convex. (See [9] for a proof.) K with underlying space homeo- R s whose image
14 238 Therefore no matter which K we start with, some p E R 3V is strictly convex, hence infinitesimally rigid by Theorem 5.i. So IF is a PROPER algebraic subvariety of R 3V, and its complement (the infinitesimally rigid polyhedra) is open and dense in R 3V, The rigid ones contain these by Theorem 4.1, so the argument is complete. The author thanks the National Science Foundation for its support. UNIVERSITY OF PENNSYLVANIA PHILADELPHIA, PENNSYLVANIA
15 239 REFERENCES i. A. D. Alexandrov, Konvexe Polyeder, Akad.-Verlag, Berlin (1958). 2. A. Cauchy, Sur les polygones et polyedres, Second Memoire, J. Ecole Polytechnique 9, 87 (1813). 3. S. E. Cohn-Vossen, Die Verbiegung von Fl~chen im Grossen, Fortschr. Math. Wiss. 1 (1936), M. Dehn, Uber die Starrheit konvexer Polyeder, Math. Ann. 77 (1916), N. W. Efimov, Flachenverbiegung im Grossen, Akad.-Verlag, Berlin (1957). 6. L. Euler, Opera postuma, I, Petropoli (1862), R. Langer, On the rigidity of polyhedma, Harvard honors thesis (1973). 8. H. Liebmann, Uber die Verbiegung der geschlossenen Flachen positiver Kr~ng, Math. Ann. 53 (1900), L. A. Lyusternik, Convex Figures and Polyhedra, D. C. Heath, Boston (1966). i0. A. Wallace, Algebraic approximation of curves, Canad. J. Math. i0 (1958), ii. H. Weyl, Uber die Starrheit der Eiflachen und konvexen Polyeder, S.-B. Preuss. Akad. Wiss. (1917), H. Whitney, Elementary structure o~ real algebraic varieties, Ann. of Math. 66 (1957),
USAC Colloquium. Bending Polyhedra. Andrejs Treibergs. September 4, Figure 1: A Rigid Polyhedron. University of Utah
USAC Colloquium Bending Polyhedra Andrejs Treibergs University of Utah September 4, 2013 Figure 1: A Rigid Polyhedron. 2. USAC Lecture: Bending Polyhedra The URL for these Beamer Slides: BendingPolyhedra
More informationDifferential geometry II
Differential geometry II Lecture 2 Alexander & Michael Bronstein tosca.cs.technion.ac.il/book Numerical geometry of non-rigid shapes Stanford University, Winter 2009 Intrinsic & extrinsic geometry 2 First
More informationTHE RIGIDITY OF SUSPENSIONS
J. DIFFERENTIAL GEOMETRY 13 (1978) 399-408 THE RIGIDITY OF SUSPENSIONS ROBERT CONNELLY 1. Introduction We investigate the continuous rigidity of a suspension of a polygonal curve in three-space. The main
More informationHILBERT S THEOREM ON THE HYPERBOLIC PLANE
HILBET S THEOEM ON THE HYPEBOLIC PLANE MATTHEW D. BOWN Abstract. We recount a proof of Hilbert s result that a complete geometric surface of constant negative Gaussian curvature cannot be isometrically
More informationKUIPER S THEOREM ON CONFORMALLY FLAT MANIFOLDS
KUIPER S THEOREM ON CONFORMALLY FLAT MANIFOLDS RALPH HOWARD DEPARTMENT OF MATHEMATICS UNIVERSITY OF SOUTH CAROLINA COLUMBIA, S.C. 29208, USA HOWARD@MATH.SC.EDU 1. Introduction These are notes to that show
More informationChapter 3. Riemannian Manifolds - I. The subject of this thesis is to extend the combinatorial curve reconstruction approach to curves
Chapter 3 Riemannian Manifolds - I The subject of this thesis is to extend the combinatorial curve reconstruction approach to curves embedded in Riemannian manifolds. A Riemannian manifold is an abstraction
More informationWe simply compute: for v = x i e i, bilinearity of B implies that Q B (v) = B(v, v) is given by xi x j B(e i, e j ) =
Math 395. Quadratic spaces over R 1. Algebraic preliminaries Let V be a vector space over a field F. Recall that a quadratic form on V is a map Q : V F such that Q(cv) = c 2 Q(v) for all v V and c F, and
More informationMath 396. Bijectivity vs. isomorphism
Math 396. Bijectivity vs. isomorphism 1. Motivation Let f : X Y be a C p map between two C p -premanifolds with corners, with 1 p. Assuming f is bijective, we would like a criterion to tell us that f 1
More information1 Euclidean geometry. 1.1 The metric on R n
1 Euclidean geometry This chapter discusses the geometry of n-dimensional Euclidean space E n, together with its distance function. The distance gives rise to other notions such as angles and congruent
More informationCALCULUS ON MANIFOLDS. 1. Riemannian manifolds Recall that for any smooth manifold M, dim M = n, the union T M =
CALCULUS ON MANIFOLDS 1. Riemannian manifolds Recall that for any smooth manifold M, dim M = n, the union T M = a M T am, called the tangent bundle, is itself a smooth manifold, dim T M = 2n. Example 1.
More information1 Differentiable manifolds and smooth maps
1 Differentiable manifolds and smooth maps Last updated: April 14, 2011. 1.1 Examples and definitions Roughly, manifolds are sets where one can introduce coordinates. An n-dimensional manifold is a set
More informationEvgeniy V. Martyushev RESEARCH STATEMENT
Evgeniy V. Martyushev RESEARCH STATEMENT My research interests lie in the fields of topology of manifolds, algebraic topology, representation theory, and geometry. Specifically, my work explores various
More information(x, y) = d(x, y) = x y.
1 Euclidean geometry 1.1 Euclidean space Our story begins with a geometry which will be familiar to all readers, namely the geometry of Euclidean space. In this first chapter we study the Euclidean distance
More informationBrigitte Servatius and Herman Servatius. Department of Mathematics Syracuse University Syracuse NY,
GENERIC AND ABSTRACT RIGIDITY Brigitte Servatius and Herman Servatius Department of Mathematics Syracuse University Syracuse NY, 13244-1150 Rigidity We are all familiar with frameworks of rods attached
More informationDEVELOPMENT OF MORSE THEORY
DEVELOPMENT OF MORSE THEORY MATTHEW STEED Abstract. In this paper, we develop Morse theory, which allows us to determine topological information about manifolds using certain real-valued functions defined
More informationTopological Graph Theory Lecture 4: Circle packing representations
Topological Graph Theory Lecture 4: Circle packing representations Notes taken by Andrej Vodopivec Burnaby, 2006 Summary: A circle packing of a plane graph G is a set of circles {C v v V (G)} in R 2 such
More informationBrunn Minkowski Theory in Minkowski space-times. François Fillastre Université de Cergy Pontoise France
Brunn Minkowski Theory in Minkowski space-times François Fillastre Université de Cergy Pontoise France Convex bodies A convex body is a (non empty) compact convex set of R d+1 Convex bodies A convex body
More information9. Birational Maps and Blowing Up
72 Andreas Gathmann 9. Birational Maps and Blowing Up In the course of this class we have already seen many examples of varieties that are almost the same in the sense that they contain isomorphic dense
More informationConnectedness. Proposition 2.2. The following are equivalent for a topological space (X, T ).
Connectedness 1 Motivation Connectedness is the sort of topological property that students love. Its definition is intuitive and easy to understand, and it is a powerful tool in proofs of well-known results.
More informationLECTURE: KOBORDISMENTHEORIE, WINTER TERM 2011/12; SUMMARY AND LITERATURE
LECTURE: KOBORDISMENTHEORIE, WINTER TERM 2011/12; SUMMARY AND LITERATURE JOHANNES EBERT 1.1. October 11th. 1. Recapitulation from differential topology Definition 1.1. Let M m, N n, be two smooth manifolds
More informationHIGHER ORDER RIGIDITY - WHAT IS THE PROPER DEFINITION?
HIGHER ORDER RIGIDITY - WHAT IS THE PROPER DEFINITION? ROBERT CONNELLY AND HERMAN SERVATIUS Abstract. We show that there is a bar and joint framework G(p) which has a configuration p in the plane such
More informationMath 350 Fall 2011 Notes about inner product spaces. In this notes we state and prove some important properties of inner product spaces.
Math 350 Fall 2011 Notes about inner product spaces In this notes we state and prove some important properties of inner product spaces. First, recall the dot product on R n : if x, y R n, say x = (x 1,...,
More informationII. DIFFERENTIABLE MANIFOLDS. Washington Mio CENTER FOR APPLIED VISION AND IMAGING SCIENCES
II. DIFFERENTIABLE MANIFOLDS Washington Mio Anuj Srivastava and Xiuwen Liu (Illustrations by D. Badlyans) CENTER FOR APPLIED VISION AND IMAGING SCIENCES Florida State University WHY MANIFOLDS? Non-linearity
More informationResults from MathSciNet: Mathematical Reviews on the Web c Copyright American Mathematical Society 2000
2000k:53038 53C23 20F65 53C70 57M07 Bridson, Martin R. (4-OX); Haefliger, André (CH-GENV-SM) Metric spaces of non-positive curvature. Grundlehren der Mathematischen Wissenschaften [Fundamental Principles
More information0. Introduction 1 0. INTRODUCTION
0. Introduction 1 0. INTRODUCTION In a very rough sketch we explain what algebraic geometry is about and what it can be used for. We stress the many correlations with other fields of research, such as
More informationSmooth Structure. lies on the boundary, then it is determined up to the identifications it 1 2
132 3. Smooth Structure lies on the boundary, then it is determined up to the identifications 1 2 + it 1 2 + it on the vertical boundary and z 1/z on the circular part. Notice that since z z + 1 and z
More informationMath 396. Quotient spaces
Math 396. Quotient spaces. Definition Let F be a field, V a vector space over F and W V a subspace of V. For v, v V, we say that v v mod W if and only if v v W. One can readily verify that with this definition
More information7 Curvature of a connection
[under construction] 7 Curvature of a connection 7.1 Theorema Egregium Consider the derivation equations for a hypersurface in R n+1. We are mostly interested in the case n = 2, but shall start from the
More informationSome notes on Coxeter groups
Some notes on Coxeter groups Brooks Roberts November 28, 2017 CONTENTS 1 Contents 1 Sources 2 2 Reflections 3 3 The orthogonal group 7 4 Finite subgroups in two dimensions 9 5 Finite subgroups in three
More informationTHE FOUR VERTEX THEOREM AND ITS CONVERSE in honor of Björn Dahlberg
Writhe - Four Vertex Theorem.14 June, 2006 THE FOUR VERTEX THEOREM AND ITS CONVERSE in honor of Björn Dahlberg The Four Vertex Theorem says that a simple closed curve in the plane, other than a circle,
More informationLecture 4: Knot Complements
Lecture 4: Knot Complements Notes by Zach Haney January 26, 2016 1 Introduction Here we discuss properties of the knot complement, S 3 \ K, for a knot K. Definition 1.1. A tubular neighborhood V k S 3
More informationClassification of root systems
Classification of root systems September 8, 2017 1 Introduction These notes are an approximate outline of some of the material to be covered on Thursday, April 9; Tuesday, April 14; and Thursday, April
More informationOn the Diffeomorphism Group of S 1 S 2. Allen Hatcher
On the Diffeomorphism Group of S 1 S 2 Allen Hatcher This is a revision, written in December 2003, of a paper of the same title that appeared in the Proceedings of the AMS 83 (1981), 427-430. The main
More informationTHE ENVELOPE OF LINES MEETING A FIXED LINE AND TANGENT TO TWO SPHERES
6 September 2004 THE ENVELOPE OF LINES MEETING A FIXED LINE AND TANGENT TO TWO SPHERES Abstract. We study the set of lines that meet a fixed line and are tangent to two spheres and classify the configurations
More informationExercise Solutions to Functional Analysis
Exercise Solutions to Functional Analysis Note: References refer to M. Schechter, Principles of Functional Analysis Exersize that. Let φ,..., φ n be an orthonormal set in a Hilbert space H. Show n f n
More information1 Basic Combinatorics
1 Basic Combinatorics 1.1 Sets and sequences Sets. A set is an unordered collection of distinct objects. The objects are called elements of the set. We use braces to denote a set, for example, the set
More informationThe Geometry of Root Systems. Brian C. Hall
The Geometry of Root Systems A E Z S Brian C. Hall T G R S T G R S 1 1. I Root systems arise in the theory of Lie groups and Lie algebras, but can also be studied as mathematical objects in their own right.
More information9th and 10th Grade Math Proficiency Objectives Strand One: Number Sense and Operations
Strand One: Number Sense and Operations Concept 1: Number Sense Understand and apply numbers, ways of representing numbers, the relationships among numbers, and different number systems. Justify with examples
More informationVolume preserving surgeries on hyperbolic 3-manifolds
Volume preserving surgeries on hyperbolic 3-manifolds Peter Rudzis Advisor: Dr. Rolland Trapp August 19, 2016 Abstract In this paper, we investigate two types of surgeries, the parallel surgery and the
More informationDISCRETIZED CONFIGURATIONS AND PARTIAL PARTITIONS
DISCRETIZED CONFIGURATIONS AND PARTIAL PARTITIONS AARON ABRAMS, DAVID GAY, AND VALERIE HOWER Abstract. We show that the discretized configuration space of k points in the n-simplex is homotopy equivalent
More information3-manifolds and their groups
3-manifolds and their groups Dale Rolfsen University of British Columbia Marseille, September 2010 Dale Rolfsen (2010) 3-manifolds and their groups Marseille, September 2010 1 / 31 3-manifolds and their
More informationLECTURE 9: THE WHITNEY EMBEDDING THEOREM
LECTURE 9: THE WHITNEY EMBEDDING THEOREM Historically, the word manifold (Mannigfaltigkeit in German) first appeared in Riemann s doctoral thesis in 1851. At the early times, manifolds are defined extrinsically:
More informationV (v i + W i ) (v i + W i ) is path-connected and hence is connected.
Math 396. Connectedness of hyperplane complements Note that the complement of a point in R is disconnected and the complement of a (translated) line in R 2 is disconnected. Quite generally, we claim that
More informationFor Ramin. From Jonathan December 9, 2014
For Ramin From Jonathan December 9, 2014 1 Foundations. 1.0 Overview. Traditionally, knot diagrams are employed as a device which converts a topological object into a combinatorial one. One begins with
More informationDS-GA 1002 Lecture notes 0 Fall Linear Algebra. These notes provide a review of basic concepts in linear algebra.
DS-GA 1002 Lecture notes 0 Fall 2016 Linear Algebra These notes provide a review of basic concepts in linear algebra. 1 Vector spaces You are no doubt familiar with vectors in R 2 or R 3, i.e. [ ] 1.1
More informationA Simple Proof of the Generalized Cauchy s Theorem
A Simple Proof of the Generalized Cauchy s Theorem Mojtaba Mahzoon, Hamed Razavi Abstract The Cauchy s theorem for balance laws is proved in a general context using a simpler and more natural method in
More informationAn introduction to arithmetic groups. Lizhen Ji CMS, Zhejiang University Hangzhou , China & Dept of Math, Univ of Michigan Ann Arbor, MI 48109
An introduction to arithmetic groups Lizhen Ji CMS, Zhejiang University Hangzhou 310027, China & Dept of Math, Univ of Michigan Ann Arbor, MI 48109 June 27, 2006 Plan. 1. Examples of arithmetic groups
More informationMath 210B. Artin Rees and completions
Math 210B. Artin Rees and completions 1. Definitions and an example Let A be a ring, I an ideal, and M an A-module. In class we defined the I-adic completion of M to be M = lim M/I n M. We will soon show
More informationJ. Huisman. Abstract. let bxc be the fundamental Z=2Z-homology class of X. We show that
On the dual of a real analytic hypersurface J. Huisman Abstract Let f be an immersion of a compact connected smooth real analytic variety X of dimension n into real projective space P n+1 (R). We say that
More informationCHARACTERIZATIONS OF CIRCLE PATTERNS AND CONVEX POLYHEDRA IN HYPERBOLIC 3-SPACE
CHARACTERIZATIONS OF CIRCLE PATTERNS AND CONVEX POLYHEDRA IN HYPERBOLIC 3-SPACE XIAOJUN HUANG AND JINSONG LIU ABSTRACT In this paper we consider the characterization problem of convex polyhedrons in the
More informationLax embeddings of the Hermitian Unital
Lax embeddings of the Hermitian Unital V. Pepe and H. Van Maldeghem Abstract In this paper, we prove that every lax generalized Veronesean embedding of the Hermitian unital U of PG(2, L), L a quadratic
More informationZaslavsky s Theorem. As presented by Eric Samansky May 11, 2002
Zaslavsky s Theorem As presented by Eric Samansky May, 2002 Abstract This paper is a retelling of the proof of Zaslavsky s Theorem. For any arrangement of hyperplanes, there is a corresponding semi-lattice
More informationExample 2 (new version): the generators are. Example 4: the generators are
First, let us quickly dismiss Example 3 (and Example 6): the second generator may be removed (being the square of the third or, respectively, the fourth one), and then the quotient is clearly the simplest
More informationChapter 2 Linear Transformations
Chapter 2 Linear Transformations Linear Transformations Loosely speaking, a linear transformation is a function from one vector space to another that preserves the vector space operations. Let us be more
More informationQUATERNIONS AND ROTATIONS
QUATERNIONS AND ROTATIONS SVANTE JANSON 1. Introduction The purpose of this note is to show some well-known relations between quaternions and the Lie groups SO(3) and SO(4) (rotations in R 3 and R 4 )
More informationfy (X(g)) Y (f)x(g) gy (X(f)) Y (g)x(f)) = fx(y (g)) + gx(y (f)) fy (X(g)) gy (X(f))
1. Basic algebra of vector fields Let V be a finite dimensional vector space over R. Recall that V = {L : V R} is defined to be the set of all linear maps to R. V is isomorphic to V, but there is no canonical
More informationQUIVERS AND LATTICES.
QUIVERS AND LATTICES. KEVIN MCGERTY We will discuss two classification results in quite different areas which turn out to have the same answer. This note is an slightly expanded version of the talk given
More informationA NOTE ON QUANTUM 3-MANIFOLD INVARIANTS AND HYPERBOLIC VOLUME
A NOTE ON QUANTUM 3-MANIFOLD INVARIANTS AND HYPERBOLIC VOLUME EFSTRATIA KALFAGIANNI Abstract. For a closed, oriented 3-manifold M and an integer r > 0, let τ r(m) denote the SU(2) Reshetikhin-Turaev-Witten
More informationAlgebraic Geometry. Question: What regular polygons can be inscribed in an ellipse?
Algebraic Geometry Question: What regular polygons can be inscribed in an ellipse? 1. Varieties, Ideals, Nullstellensatz Let K be a field. We shall work over K, meaning, our coefficients of polynomials
More informationLecture Notes 1: Vector spaces
Optimization-based data analysis Fall 2017 Lecture Notes 1: Vector spaces In this chapter we review certain basic concepts of linear algebra, highlighting their application to signal processing. 1 Vector
More informationDef. A topological space X is disconnected if it admits a non-trivial splitting: (We ll abbreviate disjoint union of two subsets A and B meaning A B =
CONNECTEDNESS-Notes Def. A topological space X is disconnected if it admits a non-trivial splitting: X = A B, A B =, A, B open in X, and non-empty. (We ll abbreviate disjoint union of two subsets A and
More informationA CONTINUOUS MOVEMENT VERSION OF THE BANACH TARSKI PARADOX: A SOLUTION TO DE GROOT S PROBLEM
The Journal of Symbolic Logic Volume 70, Number 3, Sept. 2005 A CONTINUOUS MOVEMENT VERSION OF THE BANACH TARSKI PARADOX: A SOLUTION TO DE GROOT S PROBLEM TREVOR M. WILSON Abstract. In 1924 Banach and
More informationLinear Algebra, Summer 2011, pt. 2
Linear Algebra, Summer 2, pt. 2 June 8, 2 Contents Inverses. 2 Vector Spaces. 3 2. Examples of vector spaces..................... 3 2.2 The column space......................... 6 2.3 The null space...........................
More informationA Characterization of (3+1)-Free Posets
Journal of Combinatorial Theory, Series A 93, 231241 (2001) doi:10.1006jcta.2000.3075, available online at http:www.idealibrary.com on A Characterization of (3+1)-Free Posets Mark Skandera Department of
More informationThe Geometrization Theorem
The Geometrization Theorem Matthew D. Brown Wednesday, December 19, 2012 In this paper, we discuss the Geometrization Theorem, formerly Thurston s Geometrization Conjecture, which is essentially the statement
More informationTHE UNIFORMISATION THEOREM OF RIEMANN SURFACES
THE UNIFORISATION THEORE OF RIEANN SURFACES 1. What is the aim of this seminar? Recall that a compact oriented surface is a g -holed object. (Classification of surfaces.) It can be obtained through a 4g
More informationMath 541 Fall 2008 Connectivity Transition from Math 453/503 to Math 541 Ross E. Staffeldt-August 2008
Math 541 Fall 2008 Connectivity Transition from Math 453/503 to Math 541 Ross E. Staffeldt-August 2008 Closed sets We have been operating at a fundamental level at which a topological space is a set together
More informationAlgebraic Methods in Combinatorics
Algebraic Methods in Combinatorics Po-Shen Loh 27 June 2008 1 Warm-up 1. (A result of Bourbaki on finite geometries, from Răzvan) Let X be a finite set, and let F be a family of distinct proper subsets
More informationPart IB GEOMETRY (Lent 2016): Example Sheet 1
Part IB GEOMETRY (Lent 2016): Example Sheet 1 (a.g.kovalev@dpmms.cam.ac.uk) 1. Suppose that H is a hyperplane in Euclidean n-space R n defined by u x = c for some unit vector u and constant c. The reflection
More informationMATH 112 QUADRATIC AND BILINEAR FORMS NOVEMBER 24, Bilinear forms
MATH 112 QUADRATIC AND BILINEAR FORMS NOVEMBER 24,2015 M. J. HOPKINS 1.1. Bilinear forms and matrices. 1. Bilinear forms Definition 1.1. Suppose that F is a field and V is a vector space over F. bilinear
More information1. Continuous Functions between Euclidean spaces
Math 441 Topology Fall 2012 Metric Spaces by John M. Lee This handout should be read between Chapters 1 and 2 of the text. It incorporates material from notes originally prepared by Steve Mitchell and
More informationGromov s Proof of Mostow Rigidity
Gromov s Proof of Mostow Rigidity Mostow Rigidity is a theorem about invariants. An invariant assigns a label to whatever mathematical object I am studying that is well-defined up to the appropriate equivalence.
More information(x 1, y 1 ) = (x 2, y 2 ) if and only if x 1 = x 2 and y 1 = y 2.
1. Complex numbers A complex number z is defined as an ordered pair z = (x, y), where x and y are a pair of real numbers. In usual notation, we write z = x + iy, where i is a symbol. The operations of
More informationPart II. Algebraic Topology. Year
Part II Year 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2017 Paper 3, Section II 18I The n-torus is the product of n circles: 5 T n = } S 1. {{.. S } 1. n times For all n 1 and 0
More informationNONSINGULAR CURVES BRIAN OSSERMAN
NONSINGULAR CURVES BRIAN OSSERMAN The primary goal of this note is to prove that every abstract nonsingular curve can be realized as an open subset of a (unique) nonsingular projective curve. Note that
More informationCW-complexes. Stephen A. Mitchell. November 1997
CW-complexes Stephen A. Mitchell November 1997 A CW-complex is first of all a Hausdorff space X equipped with a collection of characteristic maps φ n α : D n X. Here n ranges over the nonnegative integers,
More informationROTATIONS, ROTATION PATHS, AND QUANTUM SPIN
ROTATIONS, ROTATION PATHS, AND QUANTUM SPIN MICHAEL THVEDT 1. ABSTRACT This paper describes the construction of the universal covering group Spin(n), n > 2, as a group of homotopy classes of paths starting
More information2. Prime and Maximal Ideals
18 Andreas Gathmann 2. Prime and Maximal Ideals There are two special kinds of ideals that are of particular importance, both algebraically and geometrically: the so-called prime and maximal ideals. Let
More informationOn the Volume of Unbounded Polyhedra in the Hyperbolic Space
Beiträge zur Algebra und eometrie Contributions to Algebra and eometry Volume 44 (2003), No. 1, 145-154. On the Volume of Unbounded Polyhedra in the Hyperbolic Space S. Kántor Institute of Mathematics
More informationPeak Point Theorems for Uniform Algebras on Smooth Manifolds
Peak Point Theorems for Uniform Algebras on Smooth Manifolds John T. Anderson and Alexander J. Izzo Abstract: It was once conjectured that if A is a uniform algebra on its maximal ideal space X, and if
More informationIsometry Dimension of Finite Groups
Journal of Algebra 246, 641 646 (2001) doi:10.1006/jabr.2001.8973, available online at http://www.idealibrary.com on Isometry Dimension of Finite Groups Manish M. Patnaik 1 Massachusetts Institute of Technology
More information274 Microlocal Geometry, Lecture 2. David Nadler Notes by Qiaochu Yuan
274 Microlocal Geometry, Lecture 2 David Nadler Notes by Qiaochu Yuan Fall 2013 2 Whitney stratifications Yesterday we defined an n-step stratified space. Various exercises could have been but weren t
More informationRamsey Theory. May 24, 2015
Ramsey Theory May 24, 2015 1 König s Lemma König s Lemma is a basic tool to move between finite and infinite combinatorics. To be concise, we use the notation [k] = {1, 2,..., k}, and [X] r will denote
More informationNotes taken by Costis Georgiou revised by Hamed Hatami
CSC414 - Metric Embeddings Lecture 6: Reductions that preserve volumes and distance to affine spaces & Lower bound techniques for distortion when embedding into l Notes taken by Costis Georgiou revised
More informationELEMENTARY SUBALGEBRAS OF RESTRICTED LIE ALGEBRAS
ELEMENTARY SUBALGEBRAS OF RESTRICTED LIE ALGEBRAS J. WARNER SUMMARY OF A PAPER BY J. CARLSON, E. FRIEDLANDER, AND J. PEVTSOVA, AND FURTHER OBSERVATIONS 1. The Nullcone and Restricted Nullcone We will need
More informationLinear Algebra and Eigenproblems
Appendix A A Linear Algebra and Eigenproblems A working knowledge of linear algebra is key to understanding many of the issues raised in this work. In particular, many of the discussions of the details
More informationCobordant differentiable manifolds
Variétés différentiables cobordant, Colloque Int. du C. N. R. S., v. LII, Géométrie différentielle, Strasbourg (1953), pp. 143-149. Cobordant differentiable manifolds By R. THOM (Strasbourg) Translated
More informationScalar curvature and the Thurston norm
Scalar curvature and the Thurston norm P. B. Kronheimer 1 andt.s.mrowka 2 Harvard University, CAMBRIDGE MA 02138 Massachusetts Institute of Technology, CAMBRIDGE MA 02139 1. Introduction Let Y be a closed,
More informationLinear Algebra I. Ronald van Luijk, 2015
Linear Algebra I Ronald van Luijk, 2015 With many parts from Linear Algebra I by Michael Stoll, 2007 Contents Dependencies among sections 3 Chapter 1. Euclidean space: lines and hyperplanes 5 1.1. Definition
More informationChapter One. The Calderón-Zygmund Theory I: Ellipticity
Chapter One The Calderón-Zygmund Theory I: Ellipticity Our story begins with a classical situation: convolution with homogeneous, Calderón- Zygmund ( kernels on R n. Let S n 1 R n denote the unit sphere
More informationCoding the Matrix Index - Version 0
0 vector, [definition]; (2.4.1): 68 2D geometry, transformations in, [lab]; (4.15.0): 196-200 A T (matrix A transpose); (4.5.4): 157 absolute value, complex number; (1.4.1): 43 abstract/abstracting, over
More informationLecture 1. Introduction
Lecture 1. Introduction In Differential Geometry we study spaces which are smooth enough to do calculus. These include such familiar objects as curves and surfaces in space. In its earliest manifestation,
More informationRigidity of Graphs and Frameworks
Rigidity of Graphs and Frameworks Rigid Frameworks The Rigidity Matrix and the Rigidity Matroid Infinitesimally Rigid Frameworks Rigid Graphs Rigidity in R d, d = 1,2 Global Rigidity in R d, d = 1,2 1
More informationPart V. 17 Introduction: What are measures and why measurable sets. Lebesgue Integration Theory
Part V 7 Introduction: What are measures and why measurable sets Lebesgue Integration Theory Definition 7. (Preliminary). A measure on a set is a function :2 [ ] such that. () = 2. If { } = is a finite
More informationCourse Summary Math 211
Course Summary Math 211 table of contents I. Functions of several variables. II. R n. III. Derivatives. IV. Taylor s Theorem. V. Differential Geometry. VI. Applications. 1. Best affine approximations.
More informationConics and their duals
9 Conics and their duals You always admire what you really don t understand. Blaise Pascal So far we dealt almost exclusively with situations in which only points and lines were involved. Geometry would
More informationSYMMETRIES IN R 3 NAMITA GUPTA
SYMMETRIES IN R 3 NAMITA GUPTA Abstract. This paper will introduce the concept of symmetries being represented as permutations and will proceed to explain the group structure of such symmetries under composition.
More informationIrredundant Families of Subcubes
Irredundant Families of Subcubes David Ellis January 2010 Abstract We consider the problem of finding the maximum possible size of a family of -dimensional subcubes of the n-cube {0, 1} n, none of which
More informationLECTURE 2. (TEXED): IN CLASS: PROBABLY LECTURE 3. MANIFOLDS 1. FALL TANGENT VECTORS.
LECTURE 2. (TEXED): IN CLASS: PROBABLY LECTURE 3. MANIFOLDS 1. FALL 2006. TANGENT VECTORS. Overview: Tangent vectors, spaces and bundles. First: to an embedded manifold of Euclidean space. Then to one
More informationSELECTIVELY BALANCING UNIT VECTORS AART BLOKHUIS AND HAO CHEN
SELECTIVELY BALANCING UNIT VECTORS AART BLOKHUIS AND HAO CHEN Abstract. A set U of unit vectors is selectively balancing if one can find two disjoint subsets U + and U, not both empty, such that the Euclidean
More information