Introduction to Computational Manifolds and Applications
|
|
- Blake Phelps
- 6 years ago
- Views:
Transcription
1 IMPA - Instituto de Matemática Pura e Aplicada, Rio de Janeiro, RJ, Brazil Introduction to Computational Manifolds and Applications Part 1 - Constructions Prof. Marcelo Ferreira Siqueira mfsiqueira@dimap.ufrn.br Departmento de Informática e Matemática Aplicada Universidade Federal do Rio Grande do Norte Natal, RN, Brazil
2 Let K = {(u, w) I I w = }. For every (u, w) K, we must define the transition map ϕ wu : w Ω wu, which is a C k -diffeomorphic function that takes w onto Ω wu, where k is a positive integer or k =. Here, we will assume that ϕ wu is a composition of five distinct maps: two rotations, a double reflection, and two more general planar transformations. The latter transformations are the main obstacles for obtaining maps satisfying condition () of Definition 7.1. The picture in the next slide illustrates the roles of each of the five maps. Computational Manifolds and Applications (CMA) , IMPA, Rio de Janeiro, RJ, Brazil 2
3 f u (w) f u (y) r uw p f u (x) f u (u) E y u x w (h g u r uw )(p) f w (y) f w (u) Ω w f w (w) (rwu 1 gw 1 h g u r uw )(p) rwu 1 gw 1 h g u r uw f w (x) h g u r uw g 1 w h g u r uw g u r uw (g u r uw )(p) (1, 0) (1, 0) r uw (p) Computational Manifolds and Applications (CMA) , IMPA, Rio de Janeiro, RJ, Brazil (g 1 w h g u r uw )(p) Ω w
4 Let [u, w] be an edge of K. Then, r uw : is the rotation around the origin that identifies the edge [ f u (u) =u, f u (w)] of K u with the edge [u, u0 ], where u and u0 have coordinates and (1, 0), respectively. f u (w) f u (x) f u (y) f u (u) Computational Manifolds and Applications (CMA) , IMPA, Rio de Janeiro, RJ, Brazil 4
5 If f u (w) =u i, for some i {0,..., n u 1}, then the rotation angle, θ uw, of r uw is θ uw = i 2π n u. f u (w) f u (x) f u (y) f u (u) Computational Manifolds and Applications (CMA) , IMPA, Rio de Janeiro, RJ, Brazil 5
6 Note that f u (u) = f u (x) = cos (i 1) 2π n u, sin f u (w) = cos i 2π n u, sin i 2π n u f u (y) = cos (i + 1) 2π n u, sin (i 1) 2π n u (i + 1) 2π n u. f u (w) f u (x) f u (y) f u (u) Computational Manifolds and Applications (CMA) , IMPA, Rio de Janeiro, RJ, Brazil 6
7 So, r uw takes the quadrilateral Q uw =[f u (u), f u (x), f u (w), f u (y)] onto the quadrilateral r uw (Q uw )=, cos 2π, sin 2π 2π, (1, 0), cos, sin 2π n u n u n u n u. f u (w) f u (x) f u (u) f u (y) Computational Manifolds and Applications (CMA) , IMPA, Rio de Janeiro, RJ, Brazil 7
8 The next map, g u :, is ideally a C k -diffeomorphism of the plane. This map must take the interior of the quadrilateral, r uw (Q uw ), onto the so-called canonical quadrilateral, Q =, cos π, sin π π π, (1, 0), cos, sin. (1, 0) Q Computational Manifolds and Applications (CMA) , IMPA, Rio de Janeiro, RJ, Brazil 8
9 The reason for requiring that Q be the codomain of g u is somewhat arbitrary and unclear at this moment. But, it has to do with the cocycle condition. We will get back to this point in a few minutes. For the time being, let us assume that such a map g u exists. (1, 0) Q Computational Manifolds and Applications (CMA) , IMPA, Rio de Janeiro, RJ, Brazil 9
10 Finally, we have the map h : given by h(x, y) =(1 x, y). The map h performs a reflection with respect to the x axis and another with respect to the line x = 0.5. (1, 0) (1, 0) Note that h is a rotation of 180 o around the point (0.5, 0). So, we have that h = h 1. Computational Manifolds and Applications (CMA) , IMPA, Rio de Janeiro, RJ, Brazil 10
11 f u (w) f u (y) r uw p f u (x) f u (u) E y u x w (h g u r uw )(p) f w (y) f w (u) Ω w f w (w) (rwu 1 gw 1 h g u r uw )(p) rwu 1 gw 1 h g u r uw f w (x) h g u r uw g 1 w h g u r uw g u r uw (g u r uw )(p) (1, 0) (1, 0) r uw (p) Computational Manifolds and Applications (CMA) , IMPA, Rio de Janeiro, RJ, Brazil 11 (g 1 w h g u r uw )(p) Ω w
12 By definition, r uw and h are C -diffeomorphisms of the plane. So, if the map g u is a C k -diffeomorphism of the plane satisfying g u (r uw ( Q uw )) = Q, we could tentatively define ϕ wu : w Ω wu such that for every x w. ϕ wu (x) = id Ωuw if u = w, (rwu 1 gw 1 h g u r uw )(x) if u = w, As we shall prove, the map ϕ wu satisfies conditions (a) and (b) of Definition 7.1. But, without knowing the map g u, we cannot say anything about condition (c) yet. Computational Manifolds and Applications (CMA) , IMPA, Rio de Janeiro, RJ, Brazil 12
13 Checking... () If we let K = {(i, j) I I Ω ij = }, then ϕ ji : Ω ij Ω ji is a C k bijection for every (i, j) K called a transition (or gluing) map. By assumption, the g u maps are C k -diffeomorphisms of the plane, for some integer k or k =. Since rotations and reflections are C -diffeomorphisms of the plane, the composition of these maps yield a C k -diffeomorphic transition map. So, condition holds. Computational Manifolds and Applications (CMA) , IMPA, Rio de Janeiro, RJ, Brazil 1
14 Checking... (a) ϕ ii = id Ωi, for all i I, Ω i ϕ ii = id Ωi By definition, ϕ uw (x) =x, for every x w, whenever u = w. So, condition (a) holds. Computational Manifolds and Applications (CMA) , IMPA, Rio de Janeiro, RJ, Brazil 14
15 Checking... Parametric Pseudo-Manifolds (b) ϕ ij = ϕ 1 ji, for all (i, j) K, and Ω i ϕ ij Ω j p ϕ 1 ji Computational Manifolds and Applications (CMA) , IMPA, Rio de Janeiro, RJ, Brazil 15
16 Checking... If u = w then condition (b) is trivially true. So, let us assume that u = w. Then, for every point p Ω wu, we have (by definition) that ϕ 1 wu(p) =(rwu 1 gw 1 = ruw 1 gu 1 =(ruw 1 gu 1 = ϕ uw (p). h g u r uw ) 1 )(p) h 1 (g 1 w ) 1 (r 1 wu) 1 (p) h g w r wu )(p) This implies that condition (b) holds when u = w too. Computational Manifolds and Applications (CMA) , IMPA, Rio de Janeiro, RJ, Brazil 16
17 What about condition (c)? (c) For all i, j, k, if Ω ji Ω jk =, then ϕ ij (Ω ji Ω jk )=Ω ij Ω ik and ϕ ki (x) =ϕ kj ϕ ji (x), for all x Ω ij Ω ik. We cannot really verify condition (c) without knowing the map g u. However, it is possible to understand what this condition requires from the map without knowing g u. The picture in the next slide should help us clarify the above claim. Computational Manifolds and Applications (CMA) , IMPA, Rio de Janeiro, RJ, Brazil 17
18 f u (w) f u (v) f u (z) f u (u) f u (y) z w u x y v f v (x) f v (w) Ω v f v (u) f v (v) f v (y) f w (x) f w (v) f w (w) f w (u) Ω w f w (z) Computational Manifolds and Applications (CMA) , IMPA, Rio de Janeiro, RJ, Brazil 18
19 Note that the intersection of the stars of u, v, and w consists of exactly one triangle and its edges and vertices. This means at most p-domains overlap at the same point. z u y w v x So, the cocycle condition must hold for points that belong to the triangles w v, Ω vu Ω vw, and Ω wu Ω wv, which are pairwise identified by the transition functions. Computational Manifolds and Applications (CMA) , IMPA, Rio de Janeiro, RJ, Brazil 19
20 But... Ω vu Ω vw =[f v (v), f v (u), f v (w)] f u (w) f u (v) f u (z) f u (u) f u (y) z w u x y v f v (x) f v (w) Ω v f v (u) f v (v) f v (y) w v =[f u (u), f u (w), f u (v)] Ω wu Ω wv =[f w (w), f w (v), f w (u)] f w (v) f w (x) f w (u) Ω w f w (w) f w (z) Computational Manifolds and Applications (CMA) , IMPA, Rio de Janeiro, RJ, Brazil 20
21 For the cocycle condition... (c) For all i, j, k, if then Ω ji Ω jk =, ϕ ij (Ω ji Ω jk )=Ω ij Ω ik and ϕ ki (x) =ϕ kj ϕ ji (x), for all x Ω ij Ω ik. let us set i = u, w = j, and v = k. Computational Manifolds and Applications (CMA) , IMPA, Rio de Janeiro, RJ, Brazil 21
22 So, we must show that (c) for all u, v, and w such that [u, v, w] is a triangle of K, if Ω wu Ω wv = then ϕ uw (Ω wu Ω wv )=v w and ϕ vu (p) =(ϕ vw ϕ wu )(p), for every p v w. Assume that the statement "if Ω wu Ω wv = then ϕ uw (Ω wu Ω wv )=v w " holds, and consider the condition "ϕ vu (p) =(ϕ vw ϕ wu )(p), for every p v w ". Computational Manifolds and Applications (CMA) , IMPA, Rio de Janeiro, RJ, Brazil 22
23 An illustration: f u (w) f u (z) ϕ vu ϕ vu (p) = (ϕ vw ϕ wu )(p) f v (w) f v (u) f u (v) p f u (u) f u (y) ϕ wu f w (x) ϕ vw f v (x) Ω v f v (v) f v (y) f w (v) ϕ wu (p) f w (u) Ω w f w (w) f w (z) Computational Manifolds and Applications (CMA) , IMPA, Rio de Janeiro, RJ, Brazil 2
24 What is the "anatomy" of this composition? f u (w) p f u (v) f u (z) f u (u) f u (y) (g u r uw )(p) f v (x) f v (w) Ω v f v (u) f v (v) f v (y) ϕ wu f w (x) (rwu 1 gw 1 h g u r uw )(p) f w (v) f w (u) Ω w f w (w) f w (z) Computational Manifolds and Applications (CMA) , IMPA, Rio de Janeiro, RJ, Brazil 24
25 h g u r uw applied to w can be visualized as fol- So, the composition rwu 1 gw 1 lows: out! f u (w) f u (u) g u r uw f u (v) h f w (v) f w (w) rwu 1 gw 1 out! Ω w f w (u) Computational Manifolds and Applications (CMA) , IMPA, Rio de Janeiro, RJ, Brazil 25
26 What is the "anatomy" of this composition? f u (w) f u (z) (g w r wv rwu 1 gw 1 h g u r uw )(p) f v (w) f v (u) f u (v) p f u (u) f u (y) ϕ wu f w (v) f w (x) f w (w) ϕ vw f v (x) Ω v f v (v) f v (y) (rvw 1 gv 1 h g w r wv rwu 1 gw 1 h g u r uw )(p) (rwu 1 gw 1 h g u r uw )(p) f w (u) Ω w f w (z) Computational Manifolds and Applications (CMA) , IMPA, Rio de Janeiro, RJ, Brazil 26
27 What is the "anatomy" of this composition? f u (w) f u (z) (g u r uv )(p) ϕ vu f v (w) f v (u) f u (v) p f u (u) f u (y) f w (x) f v (x) (rvu 1 gv 1 h g u r uv )(p) Ω v f v (v) f v (y) f w (v) f w (w) f w (u) Ω w f w (z) Computational Manifolds and Applications (CMA) , IMPA, Rio de Janeiro, RJ, Brazil 27
28 So, we must show that (rvu 1 gv 1 h g u r uv )(p) =(rvw 1 gv 1 h g w r wv r 1 wu g 1 w h g u r uw )(p). This means that if you have a candidate for the g map, you must verify if the above expression holds for it. Obviously, this expression may be too complicated to be useful. Nevertheless, it can help us derive a simple sufficient condition for testing candidate maps. Computational Manifolds and Applications (CMA) , IMPA, Rio de Janeiro, RJ, Brazil 28
29 We want to show that (rvu 1 gv 1 h g u r uv )(p) =(rvw 1 gv 1 h g w r wv r 1 wu g 1 w h g u r uw )(p). First, note that r wv r 1 wu is equal to a rotation of 2π n w around. f w (x) f w (v) f w (w) So, f w (u) Ω w f w (z) rvw 1 gv 1 h g w r wv rwu 1 gw 1 h g u r uw = rvw 1 gv 1 h g w r 2π n w g 1 w h g u r uw. Computational Manifolds and Applications (CMA) , IMPA, Rio de Janeiro, RJ, Brazil 29
30 Now, consider the composition (g w r 2π n w v ). g 1 w )(q), where q is a point in g w (w r 2π nw gw 1 (q) gw r 2π n w gw 1 (q) g 1 w (q) q Ω w This picture suggests that (g w r 2π n w g 1 w )(q) =r π (q) might be a reasonable choice. Computational Manifolds and Applications (CMA) , IMPA, Rio de Janeiro, RJ, Brazil 0
31 So, rvw 1 gv 1 h g w r 2π n w g 1 w h g u r uw = r 1 vw g 1 v h r π h g u r uw. The same assumption we made before leads us to one more property: (g u r uw )(p) =(r π g u r uv )(p), for every p w. f u (z) f u (w) p f u (u) r uw g u f u (v) f u (y) Computational Manifolds and Applications (CMA) , IMPA, Rio de Janeiro, RJ, Brazil 1
32 So, rvw 1 gv 1 h g w r 2π n w g 1 w h g u r uw = r 1 vw g 1 v h r π h g u r uw. The same assumption we made before leads us to one more property: (g u r uw )(p) =(r π g u r uv )(p), for every p w. f u (z) f u (w) p f u (u) r uv g u f u (v) f u (y) Computational Manifolds and Applications (CMA) , IMPA, Rio de Janeiro, RJ, Brazil 2
33 So, rvw 1 gv 1 h g w r 2π n w g 1 w h g u r uw = r 1 vw g 1 v h r π h g u r uw. The same assumption we made before leads us to one more property: (g u r uw )(p) =(r π g u r uv )(p), for every p w. r π f u (z) f u (w) p f u (u) r uv g u f u (v) f u (y) Computational Manifolds and Applications (CMA) , IMPA, Rio de Janeiro, RJ, Brazil
34 So, rvw 1 gv 1 h wv g w r 2π n w g 1 w h uw g u r uw = r 1 vw g 1 v h wv r π h uw r π g u r uv. For the exact same reason, g v r vw (p) =r π g u r vu (p), for every p Ω vw. So, vw gv 1 )(p) =(rvu 1 gv 1 r π )(p). (r 1 So, rvw 1 gv 1 h g w r 2π n w g 1 w h g u r uw = r 1 vu g 1 v r π h r π h r π g u r uv. But, h = r π h r π h r π. Computational Manifolds and Applications (CMA) , IMPA, Rio de Janeiro, RJ, Brazil 4
35 So, rvw 1 gv 1 h g w r 2π n w g 1 w h g u r uw = rvu 1 gv 1 = rvu 1 gv 1 = ϕ vu. r π h r π h r π g u r uv h g u r uv The above equality holds for every point p in v w, and hence the cocycle condition, ϕ vu (p) =(ϕ vw ϕ wu )(p), is satisfied (under the many assumptions we made along the way; which are they?) Computational Manifolds and Applications (CMA) , IMPA, Rio de Janeiro, RJ, Brazil 5
36 We made the following assumptions: (1) The g u map are is a C k -diffeomorphism of the plane, for every u I. (2) The g u map takes Q uw onto Q, for every (u, w) K. () The g u map satisfies (g u r 2π n u g 1 u )(q) =r π (q), where q g u ( ). (4) If f u (w) precedes f u (v) in a counterclockwise enumeration of the vertices of K u, then (g u r uw )(p) = (r π g u r uv )(p), for every point p in the gluing domain w. (5) For all u, v, w such that [u, v, w] is a triangle of K, if Ω wu Ω wv = then ϕ uw (Ω wu Ω wv )=v w. Computational Manifolds and Applications (CMA) , IMPA, Rio de Janeiro, RJ, Brazil 6
37 It turns out that (5) can be derived from (1)-(4). We will leave that as an exercise. So, the point of this lecture is: if we want to know if a candidate for the g map will satisfy condition of Definition 7.1, we can test the map against conditions (1) through (4). Conditions () and (4) are sufficient. Are they also necessary? We are now fully equipped to discuss the "candidate" functions in the next lecture. More specifically, we will go over projective and conformal transformations. Computational Manifolds and Applications (CMA) , IMPA, Rio de Janeiro, RJ, Brazil 7
Introduction to Computational Manifolds and Applications
IMPA - Instituto de Matemática Pura e Aplicada, Rio de Janeiro, RJ, Brazil Introduction to Computational Manifolds and Applications Part 1 - Foundations Prof. Jean Gallier jean@cis.upenn.edu Department
More informationParametric Pseudo-Manifolds
Parametric Pseudo-Manifolds Jean Gallier Department of Computer and Information Science University of Pennsylvania Philadelphia, PA 19104, USA email: jean@cis.upenn.edu Dianna Xu Department of Computer
More informationarxiv:math/ v1 [math.fa] 20 Feb 2001
arxiv:math/12161v1 [math.fa] 2 Feb 21 Critical sets of nonlinear Sturm-Liouville operators of Ambrosetti-Prodi type H. Bueno and C. Tomei Dep. de Matemática - ICEx, UFMG, Caixa Postal 72, Belo Horizonte,
More informationThe 3rd Olympiad of Metropolises
The 3rd Olympiad of Metropolises Day 1. Solutions Problem 1. Solve the system of equations in real numbers: (x 1)(y 1)(z 1) xyz 1, Answer: x 1, y 1, z 1. (x )(y )(z ) xyz. (Vladimir Bragin) Solution 1.
More informationA First Lecture on Sheaf Cohomology
A First Lecture on Sheaf Cohomology Elizabeth Gasparim Departamento de Matemática, Universidade Federal de Pernambuco Cidade Universitária, Recife, PE, BRASIL, 50670-901 gasparim@dmat.ufpe.br I. THE DEFINITION
More informationDirect Limits. Mathematics 683, Fall 2013
Direct Limits Mathematics 683, Fall 2013 In this note we define direct limits and prove their basic properties. This notion is important in various places in algebra. In particular, in algebraic geometry
More informationBRUNO L. M. FERREIRA AND HENRIQUE GUZZO JR.
REVISTA DE LA UNIÓN MATEMÁTICA ARGENTINA Vol. 60, No. 1, 2019, Pages 9 20 Published online: February 11, 2019 https://doi.org/10.33044/revuma.v60n1a02 LIE n-multiplicative MAPPINGS ON TRIANGULAR n-matrix
More informationX-MA2C01-1: Partial Worked Solutions
X-MAC01-1: Partial Worked Solutions David R. Wilkins May 013 1. (a) Let A, B and C be sets. Prove that (A \ (B C)) (B \ C) = (A B) \ C. [Venn Diagrams, by themselves without an accompanying logical argument,
More informationMEASURABLE PARTITIONS, DISINTEGRATION AND CONDITIONAL MEASURES
MEASURABLE PARTITIONS, DISINTEGRATION AND CONDITIONAL MEASURES BRUNO SANTIAGO Abstract. In this short note we review Rokhlin Desintegration Theorem and give some applications. 1. Introduction Consider
More informationMath113: Linear Algebra. Beifang Chen
Math3: Linear Algebra Beifang Chen Spring 26 Contents Systems of Linear Equations 3 Systems of Linear Equations 3 Linear Systems 3 2 Geometric Interpretation 3 3 Matrices of Linear Systems 4 4 Elementary
More informationFormalism of the Tersoff potential
Originally written in December 000 Translated to English in June 014 Formalism of the Tersoff potential 1 The original version (PRB 38 p.990, PRB 37 p.6991) Potential energy Φ = 1 u ij i (1) u ij = f ij
More informationBasic Concepts of Group Theory
Chapter 1 Basic Concepts of Group Theory The theory of groups and vector spaces has many important applications in a number of branches of modern theoretical physics. These include the formal theory of
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 information1.3 LECTURE 3. Vector Product
12 CHAPTER 1. VECTOR ALGEBRA Example. Let L be a line x x 1 a = y y 1 b = z z 1 c passing through a point P 1 and parallel to the vector N = a i +b j +c k. The equation of the plane passing through the
More informationMINIMALLY NON-PFAFFIAN GRAPHS
MINIMALLY NON-PFAFFIAN GRAPHS SERGUEI NORINE AND ROBIN THOMAS Abstract. We consider the question of characterizing Pfaffian graphs. We exhibit an infinite family of non-pfaffian graphs minimal with respect
More informationDiscrete Applied Mathematics
Discrete Applied Mathematics 194 (015) 37 59 Contents lists available at ScienceDirect Discrete Applied Mathematics journal homepage: wwwelseviercom/locate/dam Loopy, Hankel, and combinatorially skew-hankel
More informationMath 147, Homework 5 Solutions Due: May 15, 2012
Math 147, Homework 5 Solutions Due: May 15, 2012 1 Let f : R 3 R 6 and φ : R 3 R 3 be the smooth maps defined by: f(x, y, z) = (x 2, y 2, z 2, xy, xz, yz) and φ(x, y, z) = ( x, y, z) (a) Show that f is
More informationb 1 b 2.. b = b m A = [a 1,a 2,...,a n ] where a 1,j a 2,j a j = a m,j Let A R m n and x 1 x 2 x = x n
Lectures -2: Linear Algebra Background Almost all linear and nonlinear problems in scientific computation require the use of linear algebra These lectures review basic concepts in a way that has proven
More informationStat 451: Solutions to Assignment #1
Stat 451: Solutions to Assignment #1 2.1) By definition, 2 Ω is the set of all subsets of Ω. Therefore, to show that 2 Ω is a σ-algebra we must show that the conditions of the definition σ-algebra are
More informationCutting and pasting. 2 in R. 3 which are not even topologically
Cutting and pasting We begin by quoting the following description appearing on page 55 of C. T. C. Wall s 1960 1961 Differential Topology notes, which available are online at http://www.maths.ed.ac.uk/~aar/surgery/wall.pdf.
More informationBSc (Hons) in Computer Games Development. vi Calculate the components a, b and c of a non-zero vector that is orthogonal to
1 APPLIED MATHEMATICS INSTRUCTIONS Full marks will be awarded for the correct solutions to ANY FIVE QUESTIONS. This paper will be marked out of a TOTAL MAXIMUM MARK OF 100. Credit will be given for clearly
More informationRelating 2-rainbow domination to weak Roman domination
Relating 2-rainbow domination to weak Roman domination José D. Alvarado 1, Simone Dantas 1, and Dieter Rautenbach 2 arxiv:1507.04901v1 [math.co] 17 Jul 2015 1 Instituto de Matemática e Estatística, Universidade
More informationarxiv: v1 [math.fa] 16 Jun 2011
arxiv:1106.3342v1 [math.fa] 16 Jun 2011 Gauge functions for convex cones B. F. Svaiter August 20, 2018 Abstract We analyze a class of sublinear functionals which characterize the interior and the exterior
More informationLECTURE 16: LIE GROUPS AND THEIR LIE ALGEBRAS. 1. Lie groups
LECTURE 16: LIE GROUPS AND THEIR LIE ALGEBRAS 1. Lie groups A Lie group is a special smooth manifold on which there is a group structure, and moreover, the two structures are compatible. Lie groups are
More informationOn Entropy Flux Heat Flux Relation in Thermodynamics with Lagrange Multipliers
Continuum Mech. Thermodyn. (1996) 8: 247 256 On Entropy Flux Heat Flux Relation in Thermodynamics with Lagrange Multipliers I-Shih Liu Instituto de Matemática Universidade do rio de Janeiro, Caixa Postal
More informationarxiv: v1 [math.ra] 25 Nov 2017
arxiv:709289v [mathra] 25 Nov 207 LEFT IDEALS IN MATRIX RINGS OVER FINITE FIELDS R A FERRAZ, C POLCINO MILIES, AND E TAUFER Abstract It is well-known that each left ideals in a matrix rings over a finite
More informationarxiv: v1 [math.na] 25 Sep 2012
Kantorovich s Theorem on Newton s Method arxiv:1209.5704v1 [math.na] 25 Sep 2012 O. P. Ferreira B. F. Svaiter March 09, 2007 Abstract In this work we present a simplifyed proof of Kantorovich s Theorem
More informationChapter XI Novanion rings
Chapter XI Novanion rings 11.1 Introduction. In this chapter we continue to provide general structures for theories in physics. J. F. Adams proved in 1960 that the only possible division algebras are at
More informationLECTURE 3 Functional spaces on manifolds
LECTURE 3 Functional spaces on manifolds The aim of this section is to introduce Sobolev spaces on manifolds (or on vector bundles over manifolds). These will be the Banach spaces of sections we were after
More informationMAT 257, Handout 13: December 5-7, 2011.
MAT 257, Handout 13: December 5-7, 2011. The Change of Variables Theorem. In these notes, I try to make more explicit some parts of Spivak s proof of the Change of Variable Theorem, and to supply most
More informationDIFFERENTIAL MANIFOLDS HW Exercise Employing the summation convention, we have: [u, v] i = ui x j vj vi. x j u j
DIFFERENTIAL MANIFOLDS HW 3 KELLER VANDEBOGERT. Exercise.4 Employing the summation convention, we have: So that: [u, v] i = ui x j vj vi x j uj [w, [u, v]] i = wi x [u, k v]k x j x k wk v j ui v j x j
More informationRelative Affine Schemes
Relative Affine Schemes Daniel Murfet October 5, 2006 The fundamental Spec( ) construction associates an affine scheme to any ring. In this note we study the relative version of this construction, which
More informationLecture 2. Smooth functions and maps
Lecture 2. Smooth functions and maps 2.1 Definition of smooth maps Given a differentiable manifold, all questions of differentiability are to be reduced to questions about functions between Euclidean spaces,
More informationDifferentiable Structures on Real Grassmannians
Differentiable Structures on Real Grassmannians Jeidsan A. C. Pereira Abstract Given a vector space V of dimension n and a natural number k < n, the grassmannian G k (V) is defined as the set of all subspaces
More informationMATH 4030 Differential Geometry Lecture Notes Part 4 last revised on December 4, Elementary tensor calculus
MATH 4030 Differential Geometry Lecture Notes Part 4 last revised on December 4, 205 Elementary tensor calculus We will study in this section some basic multilinear algebra and operations on tensors. Let
More informationMET Workshop: Exercises
MET Workshop: Exercises Alex Blumenthal and Anthony Quas May 7, 206 Notation. R d is endowed with the standard inner product (, ) and Euclidean norm. M d d (R) denotes the space of n n real matrices. When
More informationVECTOR AND TENSOR ALGEBRA
PART I VECTOR AND TENSOR ALGEBRA Throughout this book: (i) Lightface Latin and Greek letters generally denote scalars. (ii) Boldface lowercase Latin and Greek letters generally denote vectors, but the
More informationSets, Functions and Relations
Chapter 2 Sets, Functions and Relations A set is any collection of distinct objects. Here is some notation for some special sets of numbers: Z denotes the set of integers (whole numbers), that is, Z =
More informationarxiv: v1 [math.co] 13 May 2016
GENERALISED RAMSEY NUMBERS FOR TWO SETS OF CYCLES MIKAEL HANSSON arxiv:1605.04301v1 [math.co] 13 May 2016 Abstract. We determine several generalised Ramsey numbers for two sets Γ 1 and Γ 2 of cycles, in
More information2. The Concept of Convergence: Ultrafilters and Nets
2. The Concept of Convergence: Ultrafilters and Nets NOTE: AS OF 2008, SOME OF THIS STUFF IS A BIT OUT- DATED AND HAS A FEW TYPOS. I WILL REVISE THIS MATE- RIAL SOMETIME. In this lecture we discuss two
More informationElements of differential geometry
Elements of differential geometry R.Beig (Univ. Vienna) ESI-EMS-IAMP School on Mathematical GR, 28.7. - 1.8. 2014 1. tensor algebra 2. manifolds, vector and covector fields 3. actions under diffeos and
More information1 Structures 2. 2 Framework of Riemann surfaces Basic configuration Holomorphic functions... 3
Compact course notes Riemann surfaces Fall 2011 Professor: S. Lvovski transcribed by: J. Lazovskis Independent University of Moscow December 23, 2011 Contents 1 Structures 2 2 Framework of Riemann surfaces
More informationThe origin of pictures: near rings and K 3 Z
Brandeis University March 21, 2018 Disclaimer I did not invent pictures. They existed before I was born. were sometimes called Peiffer diagrams. They were used in combinatorial group theory. This talk
More informationACO Comprehensive Exam October 14 and 15, 2013
1. Computability, Complexity and Algorithms (a) Let G be the complete graph on n vertices, and let c : V (G) V (G) [0, ) be a symmetric cost function. Consider the following closest point heuristic for
More information1 )(y 0) {1}. Thus, the total count of points in (F 1 (y)) is equal to deg y0
1. Classification of 1-manifolds Theorem 1.1. Let M be a connected 1 manifold. Then M is diffeomorphic either to [0, 1], [0, 1), (0, 1), or S 1. We know that none of these four manifolds are not diffeomorphic
More informationEconomics 204 Fall 2011 Problem Set 1 Suggested Solutions
Economics 204 Fall 2011 Problem Set 1 Suggested Solutions 1. Suppose k is a positive integer. Use induction to prove the following two statements. (a) For all n N 0, the inequality (k 2 + n)! k 2n holds.
More informationMINIMALLY NON-PFAFFIAN GRAPHS
MINIMALLY NON-PFAFFIAN GRAPHS SERGUEI NORINE AND ROBIN THOMAS Abstract. We consider the question of characterizing Pfaffian graphs. We exhibit an infinite family of non-pfaffian graphs minimal with respect
More informationVector fields Lecture 2
Vector fields Lecture 2 Let U be an open subset of R n and v a vector field on U. We ll say that v is complete if, for every p U, there exists an integral curve, γ : R U with γ(0) = p, i.e., for every
More informationSpring, 2006 CIS 610. Advanced Geometric Methods in Computer Science Jean Gallier Homework 1
Spring, 2006 CIS 610 Advanced Geometric Methods in Computer Science Jean Gallier Homework 1 January 23, 2006; Due February 8, 2006 A problems are for practice only, and should not be turned in. Problem
More informationMatrix representation of a linear map
Matrix representation of a linear map As before, let e i = (0,..., 0, 1, 0,..., 0) T, with 1 in the i th place and 0 elsewhere, be standard basis vectors. Given linear map f : R n R m we get n column vectors
More informationMath 215B: Solutions 1
Math 15B: Solutions 1 Due Thursday, January 18, 018 (1) Let π : X X be a covering space. Let Φ be a smooth structure on X. Prove that there is a smooth structure Φ on X so that π : ( X, Φ) (X, Φ) is an
More informationDot Products, Transposes, and Orthogonal Projections
Dot Products, Transposes, and Orthogonal Projections David Jekel November 13, 2015 Properties of Dot Products Recall that the dot product or standard inner product on R n is given by x y = x 1 y 1 + +
More informationn ) = f (x 1 ) e 1... f (x n ) e n
1. FREE GROUPS AND PRESENTATIONS Let X be a subset of a group G. The subgroup generated by X, denoted X, is the intersection of all subgroups of G containing X as a subset. If g G, then g X g can be written
More information1 Introduction: connections and fiber bundles
[under construction] 1 Introduction: connections and fiber bundles Two main concepts of differential geometry are those of a covariant derivative and of a fiber bundle (in particular, a vector bundle).
More informationA VARIATIONAL INEQUALITY RELATED TO AN ELLIPTIC OPERATOR
Proyecciones Vol. 19, N o 2, pp. 105-112, August 2000 Universidad Católica del Norte Antofagasta - Chile A VARIATIONAL INEQUALITY RELATED TO AN ELLIPTIC OPERATOR A. WANDERLEY Universidade do Estado do
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 informationGeneral Topology. Summer Term Michael Kunzinger
General Topology Summer Term 2016 Michael Kunzinger michael.kunzinger@univie.ac.at Universität Wien Fakultät für Mathematik Oskar-Morgenstern-Platz 1 A-1090 Wien Preface These are lecture notes for a
More informationChapter 1: Linear Equations
Chapter : Linear Equations (Last Updated: September, 6) The material for these notes is derived primarily from Linear Algebra and its applications by David Lay (4ed).. Systems of Linear Equations Before
More informationAN APPLICATION FOR THE GAUSS-BONNET THEOREM
Pro Mathematica Vol. X//1, Nos. 25-26, 1999 AN APPLICATION FOR THE GAUSS-BONNET THEOREM Erdal Gül Abstrae! The principal aim of this paper is to give an example of the Gauss-Bonnet Theorem together with
More informationThe structure of bull-free graphs II elementary trigraphs
The structure of bull-free graphs II elementary trigraphs Maria Chudnovsky Columbia University, New York, NY 10027 USA May 6, 2006; revised April 25, 2011 Abstract The bull is a graph consisting of a triangle
More informationLECTURE 9: MOVING FRAMES IN THE NONHOMOGENOUS CASE: FRAME BUNDLES. 1. Introduction
LECTURE 9: MOVING FRAMES IN THE NONHOMOGENOUS CASE: FRAME BUNDLES 1. Introduction Until now we have been considering homogenous spaces G/H where G is a Lie group and H is a closed subgroup. The natural
More informationInner Product Spaces 5.2 Inner product spaces
Inner Product Spaces 5.2 Inner product spaces November 15 Goals Concept of length, distance, and angle in R 2 or R n is extended to abstract vector spaces V. Sucn a vector space will be called an Inner
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 informationSOME SPECIAL KLEINIAN GROUPS AND THEIR ORBIFOLDS
Proyecciones Vol. 21, N o 1, pp. 21-50, May 2002. Universidad Católica del Norte Antofagasta - Chile SOME SPECIAL KLEINIAN GROUPS AND THEIR ORBIFOLDS RUBÉN HIDALGO Universidad Técnica Federico Santa María
More informationChapter IV Integration Theory
Chapter IV Integration Theory This chapter is devoted to the developement of integration theory. The main motivation is to extend the Riemann integral calculus to larger types of functions, thus leading
More informationApproximation algorithms and hardness results for the clique packing problem. October, 2007
Approximation algorithms and hardness results for the clique packing problem F. Chataigner 1 G. Manić 2 Y.Wakabayashi 1 R. Yuster 3 1 Instituto de Matemática e Estatística Universidade de São Paulo, SP,
More informationContents. D. R. Wilkins. Copyright c David R. Wilkins
MA232A Euclidean and Non-Euclidean Geometry School of Mathematics, Trinity College Michaelmas Term 2017 Section 5: Vector Algebra and Spherical Trigonometry D. R. Wilkins Copyright c David R. Wilkins 2015
More information1 z. = 2 w =. As a result, 1 + u 2. 2u 2. 2u u 2 ) = u is smooth as well., ϕ 2 ([z 1 : z 2 ]) = z 1
KOÇ UNIVERSITY FALL 011 MATH 554 MANIFOLDS MIDTERM 1 OCTOBER 7 INSTRUCTOR: BURAK OZBAGCI 180 Minutes Solutions by Fatih Çelik PROBLEM 1 (0 points): Let N = (0 0 1) be the north pole in the sphere S R 3
More informationChapter 1: Linear Equations
Chapter : Linear Equations (Last Updated: September, 7) The material for these notes is derived primarily from Linear Algebra and its applications by David Lay (4ed).. Systems of Linear Equations Before
More informationSECTION 9: FIBER BUNDLES AND PRINCIPAL BUNDLES
SECTION 9: FIBER BUNDLES AND PRINCIPAL BUNDLES Definition 1. A fiber bundle with fiber F is a map p: E X with the property that any point x X has a neighbourhood U X for which there exists a homeomorphism
More information2 Vector Products. 2.0 Complex Numbers. (a~e 1 + b~e 2 )(c~e 1 + d~e 2 )=(ac bd)~e 1 +(ad + bc)~e 2
Vector Products Copyright 07, Gregory G. Smith 8 September 07 Unlike for a pair of scalars, we did not define multiplication between two vectors. For almost all positive n N, the coordinate space R n cannot
More informationKinematics of Machines Prof. A. K. Mallik Department of Mechanical Engineering Indian Institute of Technology, Kanpur
Kinematics of Machines Prof. A. K. Mallik Department of Mechanical Engineering Indian Institute of Technology, Kanpur Module - 5 Lecture - 1 Velocity and Acceleration Analysis The topic of today s lecture
More informationTheorema Egregium, Intrinsic Curvature
Theorema Egregium, Intrinsic Curvature Cartan s second structural equation dω 12 = K θ 1 θ 2, (1) is, as we have seen, a powerful tool for computing curvature. But it also has far reaching theoretical
More informationOPERATOR PENCIL PASSING THROUGH A GIVEN OPERATOR
OPERATOR PENCIL PASSING THROUGH A GIVEN OPERATOR A. BIGGS AND H. M. KHUDAVERDIAN Abstract. Let be a linear differential operator acting on the space of densities of a given weight on a manifold M. One
More informationFOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 24
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 24 RAVI VAKIL CONTENTS 1. Vector bundles and locally free sheaves 1 2. Toward quasicoherent sheaves: the distinguished affine base 5 Quasicoherent and coherent sheaves
More informationarxiv:math/ v1 [math.ag] 3 Mar 2002
How to sum up triangles arxiv:math/0203022v1 [math.ag] 3 Mar 2002 Bakharev F. Kokhas K. Petrov F. June 2001 Abstract We prove configuration theorems that generalize the Desargues, Pascal, and Pappus theorems.
More informationLinear Algebra March 16, 2019
Linear Algebra March 16, 2019 2 Contents 0.1 Notation................................ 4 1 Systems of linear equations, and matrices 5 1.1 Systems of linear equations..................... 5 1.2 Augmented
More informationMatrix representation of a linear map
Matrix representation of a linear map As before, let e i = (0,..., 0, 1, 0,..., 0) T, with 1 in the i th place and 0 elsewhere, be standard basis vectors. Given linear map f : R n R m we get n column vectors
More informationThe Gram-Schmidt Process 1
The Gram-Schmidt Process In this section all vector spaces will be subspaces of some R m. Definition.. Let S = {v...v n } R m. The set S is said to be orthogonal if v v j = whenever i j. If in addition
More informationCourse 2BA1: Hilary Term 2007 Section 8: Quaternions and Rotations
Course BA1: Hilary Term 007 Section 8: Quaternions and Rotations David R. Wilkins Copyright c David R. Wilkins 005 Contents 8 Quaternions and Rotations 1 8.1 Quaternions............................ 1 8.
More informationD-MATH Algebraic Geometry FS 2018 Prof. Emmanuel Kowalski. Solutions Sheet 1. Classical Varieties
D-MATH Algebraic Geometry FS 2018 Prof. Emmanuel Kowalski Solutions Sheet 1 Classical Varieties Let K be an algebraically closed field. All algebraic sets below are defined over K, unless specified otherwise.
More informationGeometry 2: Manifolds and sheaves
Rules:Exam problems would be similar to ones marked with! sign. It is recommended to solve all unmarked and!-problems or to find the solution online. It s better to do it in order starting from the beginning,
More informationThe Minimum Rank, Inverse Inertia, and Inverse Eigenvalue Problems for Graphs. Mark C. Kempton
The Minimum Rank, Inverse Inertia, and Inverse Eigenvalue Problems for Graphs Mark C. Kempton A thesis submitted to the faculty of Brigham Young University in partial fulfillment of the requirements for
More informationGeneralized Exponential Random Graph Models: Inference for Weighted Graphs
Generalized Exponential Random Graph Models: Inference for Weighted Graphs James D. Wilson University of North Carolina at Chapel Hill June 18th, 2015 Political Networks, 2015 James D. Wilson GERGMs for
More informationTopology Exercise Sheet 2 Prof. Dr. Alessandro Sisto Due to March 7
Topology Exercise Sheet 2 Prof. Dr. Alessandro Sisto Due to March 7 Question 1: The goal of this exercise is to give some equivalent characterizations for the interior of a set. Let X be a topological
More informationA Robust Preconditioner for the Hessian System in Elliptic Optimal Control Problems
A Robust Preconditioner for the Hessian System in Elliptic Optimal Control Problems Etereldes Gonçalves 1, Tarek P. Mathew 1, Markus Sarkis 1,2, and Christian E. Schaerer 1 1 Instituto de Matemática Pura
More information4 Limit and Continuity of Functions
Module 2 : Limits and Continuity of Functions Lecture 4 : Limit at a point Objectives In this section you will learn the following The sequential concept of limit of a function The definition of the limit
More informationOn an Approximation Result for Piecewise Polynomial Functions. O. Karakashian
BULLETIN OF THE GREE MATHEMATICAL SOCIETY Volume 57, 010 (1 7) On an Approximation Result for Piecewise Polynomial Functions O. arakashian Abstract We provide a new approach for proving approximation results
More informationOn the Permutation Products of Manifolds
Beiträge zur Algebra und Geometrie Contributions to Algebra and Geometry Volume 42 (2001), No. 2, 547-555. On the Permutation Products of Manifolds Samet Kera Institute of Mathematics, P.O.Box 162, 1000
More informationFinite Elements. Colin Cotter. January 18, Colin Cotter FEM
Finite Elements January 18, 2019 The finite element Given a triangulation T of a domain Ω, finite element spaces are defined according to 1. the form the functions take (usually polynomial) when restricted
More informationOn disconnected cuts and separators
On disconnected cuts and separators Takehiro Ito 1, Marcin Kamiński 2, Daniël Paulusma 3 and Dimitrios M. Thilikos 4 1 Graduate School of Information Sciences, Tohoku University, Aoba-yama 6-6-05, Sendai,
More informationECS 178 Course Notes QUATERNIONS
ECS 178 Course Notes QUATERNIONS Kenneth I. Joy Institute for Data Analysis and Visualization Department of Computer Science University of California, Davis Overview The quaternion number system was discovered
More informationConstructions with ruler and compass.
Constructions with ruler and compass. Semyon Alesker. 1 Introduction. Let us assume that we have a ruler and a compass. Let us also assume that we have a segment of length one. Using these tools we can
More informationLecture 9 - Faithfully Flat Descent
Lecture 9 - Faithfully Flat Descent October 15, 2014 1 Descent of morphisms In this lecture we study the concept of faithfully flat descent, which is the notion that to obtain an object on a scheme X,
More informationLocally Convex Vector Spaces II: Natural Constructions in the Locally Convex Category
LCVS II c Gabriel Nagy Locally Convex Vector Spaces II: Natural Constructions in the Locally Convex Category Notes from the Functional Analysis Course (Fall 07 - Spring 08) Convention. Throughout this
More informationLemma 1.3. The dimension of I d is dimv d D = ( d D+2
BEZOUT THEOREM One of the most fundamental results about the degrees of polynomial surfaces is the Bezout theorem, which bounds the size of the intersection of polynomial surfaces. The simplest version
More informationLecture 15: Duality. Next we spell out the answer to Exercise It is part of the definition of a TQFT.
Lecture 15: Duality We ended the last lecture by introducing one of the main characters in the remainder of the course, a topological quantum field theory (TQFT). At this point we should, of course, elaborate
More informationHyperbolic Nonwandering Sets on Two-Dimensional Manifolds 1
Hyperbolic Nonwandering Sets on Two-Dimensional Manifolds 1 S. NEWHOUSE and J. PALIS Institute» de Matemâtica Pura e Aplicada Rio de Janeiro, Brasil We are concerned here with diffeomorphisms of a compact
More informationA PROOF OF THE GAUSS-BONNET THEOREM. Contents. 1. Introduction. 2. Regular Surfaces
A PROOF OF THE GAUSS-BONNET THEOREM AARON HALPER Abstract. In this paper I will provide a proof of the Gauss-Bonnet Theorem. I will start by briefly explaining regular surfaces and move on to the first
More informationTutorial on Surface Ricci Flow, Theory, Algorithm and Application
Tutorial on Surface Ricci Flow, Theory, Algorithm and Application 1 1 Department of Computer Science University of New York at Stony Brook Graduate Summer School: Computer Vision, IPAM, UCLA Collaborators
More information