A new viewpoint on geometry of a lightlike hypersurface in a semieuclidean space


 Evangeline Burns
 1 years ago
 Views:
Transcription
1 A new viewpoint on geometry of a lightlike hypersurface in a semieuclidean space Aurel Bejancu, Angel Ferrández Pascual Lucas Saitama Math J 16 (1998), (Partially supported by DGICYT grant PB Fundación Séneca PB/5/FS/97) Abstract We first show that the geometries of a hypersurface seen either as a lightlike hypersurface or as a Riemannian one are closely related Furthermore, the Bernstein theorem for lightlike hypersurfaces is proved 1 Introduction As it is well known, the main difference between the geometry of submanifolds in Riemannian manifolds in semiriemannian manifolds is that in the latter case the induced metric tensor field by the semiriemannian metric on the ambient space is not necessarily nondegenerate If the induced metric tensor field is degenerate the classical theory of Riemannian submanifolds fails since the normal bundle the tangent bundle of the submanifold have a nonzero intersection The main purpose of the present paper is to show that the geometry of a lightlike (degenerate, null) hypersurface M in a semieuclidean space R m+ ν can be investigated by using the geometry of M as a Riemannian hypersurface in a Euclidean space R m+ 0 In the first section we present the main tools in studying the geometry of a lightlike hypersurface: the screen distribution the lightlike transversal vector bundle (see [] for details) Then, in Section, we show that the canonical lightlike transversal vector bundle of a lightlike immersion is just the normal bundle of a Riemannian immersion This enables us, in Section 3, to prove the Bernstein theorem for lightlike hypersurfaces of Lorentz spaces Much of this work was done while the first author was visiting the Department of Mathematics at Universidad de Murcia He is very grateful to the differential geometry group for their kind invitation hospitality Preliminaries Let ( M, g) be a semiriemannian manifold (see [7]), where g is a semiriemannian metric of index 0 < ν < dim( M) Consider a hypersurface M of M denote by g the induced tensor field by g on M Then we say that M is a lightlike (degenerate, null) hypersurface if rank g = dim(m) 1 In order to get another characterization for a lightlike hypersurface we consider T x M = {V x T x M : g(vx, Y x ) = 0, Y x T x M} 1
2 Saitama Math J 16 (1998), T M = x M T x M Then it is easy to see that M is a lightlike hypersurface if only if T M is a distribution on M Next we consider a screen distribution ST M on M, which is a complementary nondegenerate vector bundle to T M in T M As T M lies in the tangent bundle, the following theorem has an important role in studying the geometry of a lightlike hypersurface Theorem 1 (Bejancu []) Let (M, ST M) be a lightlike hypersurface of ( M, g) Then there exists a unique vector bundle tr(t M) of rank 1 over M, such that for any nonzero section ξ of T M on a coordinate neighborhhod U M, there exists a unique section N of tr(t M) on U satisfying g(n, ξ) = 1 g(n, N) = g(n, W ) = 0, W Γ(ST M U ) By this theorem we may write down the decomposition T M M = T M tr(t M), which enables us to call tr(t M) the lightlike transversal vector bundle of M with respect to the screen distribution ST M Here in the sequel we denote by Γ(E) the F(M)module of smooth sections of a vector bundle E over M, F(M) being the algebra of smooth functions on M Also by we denote the orthogonal nonorthogonal direct sum of two vector bundles In order to get an expression for N, we consider the orthogonal decomposition T M M = ST M ST M, where ST M is the orthogonal complementary vector bundle to ST M in T M M As T M is a vector subbundle of ST M we take a complementary vector bundle V of T M in ST M a nonzero V Γ(V U ) Then g(v, ξ) 0 on U, otherwise ST M would be degenerate at a point of U Finally, the vector field N from Theorem 1 is given by N = 1 g(v, ξ) { V g(v, V ) g(v, ξ) ξ The whole study of geometry of the lightlike hypersurface M is based on both the screen distribution the lightlike transversal vector bundle In case the ambient space is a semieuclidean space it is constructed in [1] a canonical screen distribution that induces a canonical lightlike transversal vector bundle These vector bundles will play an important role in the rest of the paper 3 The geometry of a lightlike hypersurface in R m+ ν in R m+ 0 } via its geometry It is the purpose of this section to show that the canonical lightlike transversal vector bundle of a lightlike hypersurface M in R m+ ν is just the usual normal bundle of M as Riemannian hypersurface of the Euclidean space R m+ 0 As a consequence, we derive the interrelations between the geometric objects induced by the lightlike immersion the Riemannian immersion
3 Aurel Bejancu, Angel Ferrández Pascual Lucas, A new viewpoint on geometry of a lightlike hypersurface in a semieuclidean space Let R m+ ν = (R m+, g SE ) R m+ 0 = (R m+, ) be the (m + )dimensional semi Euclidean space Euclidean space, where g SE st for the semieuclidean metric of index 0 < ν < m + the Euclidean metric given by ν 1 g SE (x, y) = x i y i + x a y a, (x, y) = A=0 a=ν x A y A Consider a hypersurface M of R m+ given by the quation F (x o,, x ) = 0, where F is smooth on an open set Ω R m+ rank[f x o,, F x ] = 1 on M Then the normal bundle of M with respect to g SE is spanned by ξ = ν 1 SE F = F x i x i + a=ν F x a x a, where, as usual, SE F sts for the gradient of F with respect to g SE Thus M is a lightlike hypersurface if only if ξ is a null vector field with respect to g SE Hence we may state the following Theorem 31 M is a lightlike hypersurface if only if F is a solution of the partial differential equation ν 1 (F x ) = (F i x a) In order to obtain both the canonical transversal vector bundle the canonical screen distribution, we consider along M the vector field ν 1 V = note that V is nowhere tangent to M since a=ν F x i x i, ν 1 g SE (V, ξ) = (F x ) 0 i on M Then applying (1) we obtain that the canonical lightlike transversal vector bundle tr(t M) is spanned by N = 1 ( ν 1 ) 1 (F x ) i 3 A=0 F x A x A
4 Saitama Math J 16 (1998), Next we denote by N 0 the unit normal vector field on M with respect to the Euclidean metric Then due to (4) (5) we deduce This enables us to state ( N = ε(x)n 0, ε(x) = 1 ν 1 ) 1 (F x ) i Proposition 3 The canonical lightlike transversal vector bundle of the lightlike hypersurface M in R m+ ν is just the normal vector bundle of M as Riemannian hypersurface of R m+ 0 Taking into account that the canonical screen distribution ST M is complementary orthogonal to span{n, ξ}, (see [1], []) we get that in case ν > 1, ST M is locally spanned in a coordinate neighborhood U M by W i = F x 0 x i F x, i {1,, ν 1}, i x0 W a = F x x a F x a x, a {ν,, m}, provided that F x 0 F 0 x 0 on U In general, ST M is not integrable Indeed, the canonical screen distribution on the lightlike hypersurface M in R 4 defined by x (x1 + x ) x 3 = 0 is not integrable (see []) However, we shall prove that ST M is the orthogonal sum of two integrable distributions To this end we consider another coordinate neighborhood U M such that U U Then ST M is spanned on U by vector fields {W i, W a }, constructed as in (7) (8) provided one of the partial derivatives from each group {F x i } {F x a} is nonzero on U By direct computations we obtain span{w i } = span{w i} span{w a } = span{w a } on U U Hence we obtain two complementary distributions ST M ST M + locally spanned on U by {W i } {W a }, respectively Also we note that ST M ST M + are timelike spacelike orthogonal vector subbundles of ST M with respect to the semieuclidean metric g SE, respectively Moreover, we prove Proposition 33 Both distributions ST M ST M + on a lightlike hypersurface M in R m+ ν are integrable Proof By using (7) we obtain F x j W i F x i W j = F x 0 ( F x j x i F x i x j Then by direct calculations using again (7) (9) we deduce that [W i, W j ] = ( F x 0 x 0 F x j (F x 0 ) 1 F x 0 x j ) Wi + ( F x 0 x i F x 0 x 0 F x i (F x 0 ) 1) W j, which proves that ST M is integrable In a similar way it follows that ST M + is integrable too In particular, if the ambient space is the Lorentz space R m+ 1 we have ST M = ST M + from Proposition 33 we deduce that 4 )
5 Aurel Bejancu, Angel Ferrández Pascual Lucas, A new viewpoint on geometry of a lightlike hypersurface in a semieuclidean space Corollary 34 ([1]) Let M be a lightlike hypersurface of a Lorentz space R m+ 1 Then the canonical screen distribution ST M is integrable Due to Proposition 3 we shall write down some useful relations between the geometric objects induced by both the lightlike Riemannian immersion of M in R m+ Let be the LeviCivita connection on R m+ with respect to both metrics g SE Then taking into account (6) we obtain that the Gauss Weingarten equations for the lightlike immersion of M in R m+ ν are given by (see []) X Y = X Y + B(X, Y )N = X Y + εb(x, Y )N 0, X, Y Γ(T M) X N = A N X + τ(x)n = A N X + ετ(x)n 0, X Γ(T M), respectively Here, as usual, we denote by, B A N the induced linear connection, the second fundamental form the shape operator of the lightlike immersion The lightlike transversal 1form τ is specific to the lightlike immersion By using (10), (11) (6) we get B 0 (X, Y ) = εb(x, Y ), X, Y Γ(T M) A N X = εa N0 X, τ(x) = X(logε), X Γ(T M), where B 0 A N0 are the second fundamental form the shape operator of the Riemannian immersion of M in R m+ 0 Finally, we note that both immersions of M in R m+ ν in R m+ 0 induce the same linear connection on M, namely, the LeviCivita connection with respect to the Riemannian metric induced by on M 4 The Bernstein theorem for lightlike hypersurfaces of a Lorentz space Bernstein s Theorem, which states that the only entire minimal surfaces in R 3 are planes, is one of the most striking theorems in global geometry In a famous paper [4], Cheng Yau proved that the Bernstein Theorem holds good for maximal spacelike hypersurfaces of a Lorentz space It is well known that such a result does not hold for entire timelike surfaces in the Minkowski 3space R 3 1 A few years later TK Milnor [6] presented a generalization of the HilbertHolmgren theorem used it to discuss the indefinite Bernstein problem prove a conformal analog of Bernstein s Theorem for timelike surfaces in R 3 1 In [5] Magid gave one version of a solution to the indefinite Bernstein problem Actually he looked at entire timelike surfaces in R 3 1 which have zero mean curvature showed that such a graph over a timelike or spacelike plane is a global translation surface It is the purpose of the present section to prove the Bernstein Theorem for lightlike hypersurfaces with vanishing lightlike mean curvature in Lorentz spaces Let M be a hypersurface of the Lorentz space R m+ 1 given by equation () Then according to Theorem 31 M is a lightlike hypersurface if only if (F x ) = (F 0 x a) 5
6 Saitama Math J 16 (1998), As rank[f x 0,, F x ] = 1 on M, we deduce that F x 0 is nowhere zero on M Hence we may state the following Proposition 41 A connected lightlike hypersurface M of R 1 given by () is globally expressed by a Monge equation x 0 = f(x 1,, x ), where f is a smooth function on a domain Ω R such that (f x a) = 1 Since g SE becomes now a Lorentz metric, ie, it has index ν = 1, we shall denote it by g L In the next proposition we find the iterrelation between g L on M Proposition 4 Let (M, ST M) be a lightlike hypersurface of the Lorentz space R m+ 1, where ST M is the canonical screen distribution on M Suppose {V 1,, V m } is an orthonormal basis of Γ(ST M) with respect to g L Then {V 0, V 1,, V m } is an orthonormal field of frames on M with respect to, where we set Proof By using (3), (8) (13) we get V 0 = ( (ξ, ξ)) 1 ξ ξ = x 0 + W a = f x x a f x a x, Then by direct calculations we obtain f x a x a, a {1,, m} (W a, ξ) = g L (W a, ξ) = 0, a {1,, m} (W a, W b ) = g L (W a, W b ), a, b {1,, m}, which prove the assertion of the proposition As B(ξ, ξ) = 0 (see []), we define the lightlike mean curvature of M by α L = m B(V a, V a ), where {V 1,, V m } is an orthonormal basis of Γ(ST M) It is easy to show that α L does not depend on both the screen distribution the orthonormal basis By α E we shall denote the mean curvature of the Riemannian immersion of M in R m+ 0 Then by using (15), (1) Proposition 4 we deduce α E = B 0 (V 0, V 0 ) + m B 0 (V a, V a ) = 1 m B(V a, V a ) = 1 α L, since from (6) (13) we have ε = 1 Due to (16) we may state the following important result 6
7 Aurel Bejancu, Angel Ferrández Pascual Lucas, A new viewpoint on geometry of a lightlike hypersurface in a semieuclidean space Theorem 43 Let M be a lightlike hypersurface of the Lorentz space R m+ 1 Then M has zero lightlike mean curvature if only if M is a minimal hypersurface of the Euclidean space R m+ We now examine the partial differential equation f x a x a 1 + = 0, E f 0 whose solutions give all minimal hypersurfaces (13) of the Euclidean space R m+ 0 In 1914 Bernstein proved a theorem that states that for m = the only entire solution of (17) is linear For the higher dimensional version of Bernstein s Theorem we need the following result Theorem 44 (BompieriGiusti [3]) Let f be a C solution of the minimal hypersurface equation (17) in R such that m partial derivatives f x a are uniformly bounded in R Then f must be linear For spacelike hypersurfaces of R m+ 1 the Bernstein Theorem was proved by Cheng Yau [4] By combining Theorems 43 44, using (14), we obtain the following result on Bernstein s Theorem for lightlike hypersurfaces Theorem 45 Let M be a lightlike hypersurface of R m+ 1 given by (13), where f is defined on R If M has zero lightlike mean curvature then f must be linear, thus M is a lightlike hyperplane of R m+ 1 References [1] A Bejancu, A canonical screen distribution on a degenerate hypersurface, Scientific Bulletin, Series A, Applied Math Physics, 55(1993), [] A Bejancu, Null hypersurfaces of semieuclidean spaces Saitama Math J, 14(1996), 540 [3] E Bompieri E Giusti, Harnack s inequality for elliptic differential equations on minimal surfaces, Inventiones Math, 15(197), 447 [4] S Cheng ST Yau, Maximal spacelike hypersurfaces in the LorentzMinkowski space, Ann of Math, 104(1976), [5] M Magid, The Bernstein problem for timelike surfaces, Yokohama Math J, 37(1989), [6] T K Milnor, A conformal analog of Bernstein s theorem for timelike surfaces in Minkowski 3space, Contemporary Math, 64(1987), [7] B O Neill, SemiRiemannian geometry with applications to relativity, Academic Press, New York,
Lightlike Submanifolds with Planar Normal Section in Semi Riemannian Product Manifolds
INTERNATIONAL ELECTRONIC JOURNAL OF GEOMETRY VOLUME 9 NO. 1 PAGE 70 77 2016 Lightlike Submanifolds with Planar Normal Section in Semi Riemannian Product Manifolds Feyza Esra Erdoğan Cumali Yıldırım Communicated
More informationW CURVES IN MINKOWSKI SPACE TIME
Novi Sad J Math Vol 3, No, 00, 5565 55 W CURVES IN MINKOWSKI SPACE TIME Miroslava Petrović Torgašev 1, Emilija Šućurović 1 Abstract In this paper we complete a classification of W curves in Minkowski
More informationSmarandache Curves in Minkowski Spacetime
International J.Math. Combin. Vol.3 (2008), 555 Smarandache Curves in Minkowski Spacetime Melih Turgut and Süha Yilmaz (Department of Mathematics of Buca Educational Faculty of Dokuz Eylül University,
More informationHow to minimize without knowing how to differentiate (in Riemannian geometry)
How to minimize without knowing how to differentiate (in Riemannian geometry) Spiro Karigiannis karigiannis@maths.ox.ac.uk Mathematical Institute, University of Oxford Calibrated Geometries and Special
More informationReview: Vector space
Math 2F Linear Algebra Lecture 13 1 Basis and dimensions Slide 1 Review: Subspace of a vector space. (Sec. 4.1) Linear combinations, l.d., l.i. vectors. (Sec. 4.3) Dimension and Base of a vector space.
More informationRelations among Frenet Apparatus of Spacelike Bertrand WCurve Couples in Minkowski Spacetime
International Mathematical Forum, 3, 2008, no. 32, 15751580 Relations among Frenet Apparatus of Spacelike Bertrand WCurve Couples in Minkowski Spacetime Suha Yilmaz Dokuz Eylul University, Buca Educational
More informationMATH 304 Linear Algebra Lecture 16: Basis and dimension.
MATH 304 Linear Algebra Lecture 16: Basis and dimension. Basis Definition. Let V be a vector space. A linearly independent spanning set for V is called a basis. Equivalently, a subset S V is a basis for
More informationMATHEMATICAL BACKGROUND
Chapter 1 MATHEMATICAL BACKGROUND This chapter discusses the mathematics that is necessary for the development of the theory of linear programming. We are particularly interested in the solutions of a
More informationEikonal Slant Helices and Eikonal Darboux Helices In 3Dimensional Riemannian Manifolds
Eikonal Slant Helices and Eikonal Darboux Helices In Dimensional Riemannian Manifolds Mehmet Önder a, Evren Zıplar b, Onur Kaya a a Celal Bayar University, Faculty of Arts and Sciences, Department of
More informationHYPERBOLIC ANGLE FUNCTION IN THE LORENTZIAN PLANE
139 Kragujevac J. Math. 28 (2005) 139 144. HYPERBOLIC ANGLE FUNCTION IN THE LORENTZIAN PLANE Emilija Nešović Faculty of Science, P. O. Box 60, 34000 Kragujevac, Serbia and Montenegro (emails: emines@ptt.yu,
More informationCLASSIFICATION OF CYLINDRICAL RULED SURFACES SATISFYING H = AH IN A 3DIMENSIONAL MINKOWSKI SPACE
Bull. Korean Math. Soc. 33 (1996), No. 1, pp. 97 106 CLASSIFICATION OF CYLINDRICAL RULED SURFACES SATISFYING H = AH IN A 3DIMENSIONAL MINKOWSKI SPACE SEOUNG DAL JUNG AND JIN SUK PAK ABSTRACT. 1. Introduction
More informationTHEORY OF SIMPLEX METHOD
Chapter THEORY OF SIMPLEX METHOD Mathematical Programming Problems A mathematical programming problem is an optimization problem of finding the values of the unknown variables x, x,, x n that maximize
More informationOn the Frenet Frame and a Characterization of Spacelike InvoluteEvolute Curve Couple in Minkowski Spacetime
International Mathematical Forum, 3, 008, no. 16, 793801 On the Frenet Frame and a Characterization of Spacelike InvoluteEvolute Curve Couple in Minkowski Spacetime Melih Turgut Dokuz Eylul University,
More informationVector Spaces II: Finite Dimensional Linear Algebra 1
John Nachbar September 2, 2014 Vector Spaces II: Finite Dimensional Linear Algebra 1 1 Definitions and Basic Theorems. For basic properties and notation for R N, see the notes Vector Spaces I. Definition
More informationα = u v. In other words, Orthogonal Projection
Orthogonal Projection Given any nonzero vector v, it is possible to decompose an arbitrary vector u into a component that points in the direction of v and one that points in a direction orthogonal to v
More informationEulerSavary s Formula for the Planar Curves in Two Dimensional Lightlike Cone
International J.Math. Combin. Vol.1 (010), 11511 EulerSaary s Formula for the Planar Cures in Two Dimensional Lightlike Cone Handan BALGETİR ÖZTEKİN and Mahmut ERGÜT (Department of Mathematics, Fırat
More informationDefinition 12 An alternating bilinear form on a vector space V is a map B : V V F such that
4 Exterior algebra 4.1 Lines and 2vectors The time has come now to develop some new linear algebra in order to handle the space of lines in a projective space P (V ). In the projective plane we have seen
More informationEuler  Savary s Formula on Minkowski Geometry
Euler  Saary s Formula on Minkowski Geometry T. Ikawa Dedicated to the Memory of Grigorios TSAGAS (935003) President of Balkan Society of Geometers (997003) Abstract We consider a base cure a rolling
More informationWitten Deformation and Morse Theory
Witten Deformation and Morse Theory Jonier Amaral Antunes April 25, 2016 Introduction In 1982 Edward Witten published the paper Supersymmetry and Morse theory, [3], which was very influential on the research
More informationAlmost Quaternionic Structures on Quaternionic Kaehler Manifolds. F. Özdemir
Almost Quaternionic Structures on Quaternionic Kaehler Manifolds F. Özdemir Department of Mathematics, Faculty of Arts and Sciences Istanbul Technical University, 34469 MaslakIstanbul, TURKEY fozdemir@itu.edu.tr
More informationHOLOMORPHIC FRAMES FOR WEAKLY CONVERGING HOLOMORPHIC VECTOR BUNDLES
HOLOMORPHIC FRAMES FOR WEAKLY CONVERGING HOLOMORPHIC VECTOR BUNDLES GEORGIOS D. DASKALOPOULOS AND RICHARD A. WENTWORTH Perhaps the most useful analytic tool in gauge theory is the Uhlenbeck compactness
More informationThe two smallest minimal blocking sets of
The two smallest minimal blocking sets of Q(2n, 3), n 3 J. De Beule L. Storme Abstract We describe the two smallest minimal blocking sets of Q(2n,3), n 3. To obtain these results, we use the characterization
More informationMath 241, Exam 1 Information.
Math 241, Exam 1 Information. 9/24/12, LC 310, 11:1512:05. Exam 1 will be based on: Sections 12.112.5, 14.114.3. The corresponding assigned homework problems (see http://www.math.sc.edu/ boylan/sccourses/241fa12/241.html)
More informationON THE NUMBER OF REAL HYPERSURFACES HYPERTANGENT TO A GIVEN REAL SPACE CURVE
Illinois Journal of Mathematics Volume 46, Number 1, Spring 2002, Pages 145 153 S 00192082 ON THE NUMBER OF REAL HYPERSURFACES HYPERTANGENT TO A GIVEN REAL SPACE CURVE J. HUISMAN Abstract. Let C be a
More informationInvariant Metrics with Nonnegative Curvature on Compact Lie Groups
Canad. Math. Bull. Vol. 50 (1), 2007 pp. 24 34 Invariant Metrics with Nonnegative Curvature on Compact Lie Groups Nathan Brown, Rachel Finck, Matthew Spencer, Kristopher Tapp and Zhongtao Wu Abstract.
More informationOrthogonal Diagonalization of Symmetric Matrices
MATH10212 Linear Algebra Brief lecture notes 57 Gram Schmidt Process enables us to find an orthogonal basis of a subspace. Let u 1,..., u k be a basis of a subspace V of R n. We begin the process of finding
More informationConvexity in R N Main Notes 1
John Nachbar Washington University December 16, 2016 Convexity in R N Main Notes 1 1 Introduction. These notes establish basic versions of the Supporting Hyperplane Theorem (Theorem 5) and the Separating
More informationOn the Developable Mannheim Offsets of Timelike Ruled Surfaces
On the Developable Mannheim Offsets of Timelike Ruled Surfaces Mehmet Önder *, H Hüseyin Uğurlu ** * Celal Bayar University, Faculty of Science and Arts, Department of Mathematics, Muradiye Campus, Muradiye,
More informationWitten Deformations. Quinton Westrich University of WisconsinMadison. October 29, 2013
Witten Deformations Quinton Westrich University of WisconsinMadison October 29, 2013 Abstract These are notes on Witten s 1982 paper Supersymmetry and Morse Theory, in which Witten introduced a deformation
More informationMathematics Course 111: Algebra I Part IV: Vector Spaces
Mathematics Course 111: Algebra I Part IV: Vector Spaces D. R. Wilkins Academic Year 19967 9 Vector Spaces A vector space over some field K is an algebraic structure consisting of a set V on which are
More informationHypersurfaces with constant mean curvature in hyperbolic space 1
Hypersurfaces with constant mean curvature in hyperbolic space 1 Rafael López Departamento de Geometria y Topologia Universidad de Granada. 18071 Granada  Spain. Email address: rcamino@goliat.ugr.es
More informationOn the interplay between Lorentzian Causality and Finsler metrics of Randers type
On the interplay between Lorentzian Causality and Finsler metrics of Randers type Erasmo Caponio, Miguel Angel Javaloyes and Miguel Sánchez Universidad de Granada WORKSHOP ON FINSLER GEOMETRY AND ITS APPLICATIONS
More informationINVARIANT METRICS WITH NONNEGATIVE CURVATURE ON COMPACT LIE GROUPS
INVARIANT METRICS WITH NONNEGATIVE CURVATURE ON COMPACT LIE GROUPS NATHAN BROWN, RACHEL FINCK, MATTHEW SPENCER, KRISTOPHER TAPP, AND ZHONGTAO WU Abstract. We classify the leftinvariant metrics with nonnegative
More informationTangent and normal lines to conics
4.B. Tangent and normal lines to conics Apollonius work on conics includes a study of tangent and normal lines to these curves. The purpose of this document is to relate his approaches to the modern viewpoints
More informationWeak topologies. David Lecomte. May 23, 2006
Weak topologies David Lecomte May 3, 006 1 Preliminaries from general topology In this section, we are given a set X, a collection of topological spaces (Y i ) i I and a collection of maps (f i ) i I such
More informationParabolic surfaces in hyperbolic space with constant Gaussian curvature
Parabolic surfaces in hyperbolic space with constant Gaussian curvature Rafael López Departamento de Geometría y Topología Universidad de Granada 807 Granada (Spain) email: rcamino@ugr.es eywords: hyperbolic
More informationMetric Spaces. Chapter 7. 7.1. Metrics
Chapter 7 Metric Spaces A metric space is a set X that has a notion of the distance d(x, y) between every pair of points x, y X. The purpose of this chapter is to introduce metric spaces and give some
More informationExercise implies that V(I) = V(F ) for any generating set F of the ideal I. In the opposite direction we have a map
44 4. ALGEBRAGEOMETRY CORRESPONDENCE 4.1. Idealvariety correspondence The correspondence between algebra and geometry about to be discussed is the core of the area called algebraic geometry, which uses
More informationMath 497C Sep 17, Curves and Surfaces Fall 2004, PSU
Math 497C Sep 17, 2004 1 Curves and Surfaces Fall 2004, PSU Lecture Notes 4 1.9 Curves of Constant Curvature Here we show that the only curves in the plane with constant curvature are lines and circles.
More informationGeometry of Linear Programming
Chapter 2 Geometry of Linear Programming The intent of this chapter is to provide a geometric interpretation of linear programming problems. To conceive fundamental concepts and validity of different algorithms
More information2.3 Convex Constrained Optimization Problems
42 CHAPTER 2. FUNDAMENTAL CONCEPTS IN CONVEX OPTIMIZATION Theorem 15 Let f : R n R and h : R R. Consider g(x) = h(f(x)) for all x R n. The function g is convex if either of the following two conditions
More informationBen Andrews Centre for Mathematics and its Applications Australian National University
ENTROPY ESTIMATES FOR EVOLVING HYPERSURFACES Ben Andrews Centre for Mathematics and its Applications Australian National University Abstract. We consider parabolic curvature flows for hypersurfaces in
More informationMICROLOCAL ANALYSIS OF THE BOCHNERMARTINELLI INTEGRAL
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000 000 S 00029939(XX)00000 MICROLOCAL ANALYSIS OF THE BOCHNERMARTINELLI INTEGRAL NIKOLAI TARKHANOV AND NIKOLAI VASILEVSKI
More informationSummary of week 8 (Lectures 22, 23 and 24)
WEEK 8 Summary of week 8 (Lectures 22, 23 and 24) This week we completed our discussion of Chapter 5 of [VST] Recall that if V and W are inner product spaces then a linear map T : V W is called an isometry
More informationISOMETRIES OF R n KEITH CONRAD
ISOMETRIES OF R n KEITH CONRAD 1. Introduction An isometry of R n is a function h: R n R n that preserves the distance between vectors: h(v) h(w) = v w for all v and w in R n, where (x 1,..., x n ) = x
More information1. Sigma algebras. Let A be a collection of subsets of some fixed set Ω. It is called a σ algebra with the unit element Ω if. lim sup. j E j = E.
Real Analysis, course outline Denis Labutin 1 Measure theory I 1. Sigma algebras. Let A be a collection of subsets of some fixed set Ω. It is called a σ algebra with the unit element Ω if (a), Ω A ; (b)
More informationQuiver representations [1,2,3], invariant theory and Coxeter groups
International Journal of Scientific and Research Publications, Volume 5, Issue 8, August 2015 1 Quiver representations [1,2,3], invariant theory and Coxeter groups D.H.Banaga *, M.A.Bashir ** Shaqra a
More informationAngles between Subspaces of an ninner Product Space
Angles between Subspaces of an ninner Product Space M. Nur 1, H. Gunawan 2, O. Neswan 3 1,2,3 Analysis Geometry group, Faculty of Mathematics Natural Sciences, Bung Institute of Technology, Jl. Ganesha
More informationELASTIC CURVES IN A TWODIMENSIONAL LIGHTLIKE CONE
International Electronic Journal of Geometry Volume 8 No. 2 pp. 18 (215) c IEJG ELASTIC CURVES IN A TWODIMENSIONAL LIGHTLIKE CONE (Communicated by Kazım İLARSLAN) Abstract. We establish the variational
More information1. Introduction. PROPER HOLOMORPHIC MAPPINGS BETWEEN RIGID POLYNOMIAL DOMAINS IN C n+1
Publ. Mat. 45 (2001), 69 77 PROPER HOLOMORPHIC MAPPINGS BETWEEN RIGID POLYNOMIAL DOMAINS IN C n+1 Bernard Coupet and Nabil Ourimi Abstract We describe the branch locus of proper holomorphic mappings between
More informationMaximum and Minimum Values
Jim Lambers MAT 280 Spring Semester 200910 Lecture 8 Notes These notes correspond to Section 11.7 in Stewart and Section 3.3 in Marsden and Tromba. Maximum and Minimum Values In singlevariable calculus,
More informationProjections and orthonormal bases
Projections and orthonormal bases Yehonatan Sella Consider the following situation. Given a line L R, and given any other vector v R, we can project the vector v onto the line L by dropping a perpendicular
More informationCURRENTS FOLIATIONS CURVATURES. Pawe l Walczak ( Lódź, Poland) Kraków, 2008
CURRENTS FOLIATIONS CURVATURES Pawe l Walczak ( Lódź, Poland) Kraków, 2008 Here: M a compact oriented manifold, n = dim M F an oriented foliation on M, k = dim F g a Riemannian structure on M X(F, g) a
More informationSimilarity and Diagonalization. Similar Matrices
MATH022 Linear Algebra Brief lecture notes 48 Similarity and Diagonalization Similar Matrices Let A and B be n n matrices. We say that A is similar to B if there is an invertible n n matrix P such that
More informationMath 421, Homework #5 Solutions
Math 421, Homework #5 Solutions (1) (8.3.6) Suppose that E R n and C is a subset of E. (a) Prove that if E is closed, then C is relatively closed in E if and only if C is a closed set (as defined in Definition
More informationNumerical Analysis Lecture Notes
Numerical Analysis Lecture Notes Peter J. Olver 5. Inner Products and Norms The norm of a vector is a measure of its size. Besides the familiar Euclidean norm based on the dot product, there are a number
More informationCourse 421: Algebraic Topology Section 1: Topological Spaces
Course 421: Algebraic Topology Section 1: Topological Spaces David R. Wilkins Copyright c David R. Wilkins 1988 2008 Contents 1 Topological Spaces 1 1.1 Continuity and Topological Spaces...............
More informationRIGIDITY OF MANIFOLDS WITH BOUNDARY UNDER A LOWER RICCI CURVATURE BOUND
RIGIDITY OF MANIFOLDS WITH BOUNDARY UNDER A LOWER RICCI CURVATURE BOUND YOHEI SAKURAI Abstract. We study Riemannian manifolds with boundary under a lower Ricci curvature bound, and a lower mean curvature
More informationNOTES ON MEASURE THEORY. M. Papadimitrakis Department of Mathematics University of Crete. Autumn of 2004
NOTES ON MEASURE THEORY M. Papadimitrakis Department of Mathematics University of Crete Autumn of 2004 2 Contents 1 σalgebras 7 1.1 σalgebras............................... 7 1.2 Generated σalgebras.........................
More informationGeometric Modelling Summer 2016
Geometric Modelling Summer 2016 Prof. Dr. Hans Hagen http://gfx.unikl.de/~gm Prof. Dr. Hans Hagen Geometric Modelling Summer 2016 1 Ane Spaces, Elliptic Prof. Dr. Hans Hagen Geometric Modelling Summer
More informationSome Results on Pseudo Generalized QuasiEinstein Spaces
International Mathematical Forum, Vol. 7, 202, no. 25, 24247 Some Results on Pseudo Generalized QuasiEinstein Spaces Eliza L. Bello Institute of Mathematics College of Science, University of the Philippines
More informationRotation Rate of a Trajectory of an Algebraic Vector Field Around an Algebraic Curve
QUALITATIVE THEORY OF DYAMICAL SYSTEMS 2, 61 66 (2001) ARTICLE O. 11 Rotation Rate of a Trajectory of an Algebraic Vector Field Around an Algebraic Curve Alexei Grigoriev Department of Mathematics, The
More informationON PEDAL CURVES OF NORMAL SURFACES OF BIHARMONIC CURVES IN SL 2 (R) 1. Introduction
FACTA UNIVERSITATIS (NIŠ) Ser. Math. Inform. Vol. 27 No 2 (202), 67 74 ON PEDAL CURVES OF NORMAL SURFACES OF BIHARMONIC CURVES IN SL 2 (R) Talat KÖRPINAR and Essin TURHAN Abstract. In this paper we obtain
More information88 CHAPTER 2. VECTOR FUNCTIONS. . First, we need to compute T (s). a By definition, r (s) T (s) = 1 a sin s a. sin s a, cos s a
88 CHAPTER. VECTOR FUNCTIONS.4 Curvature.4.1 Definitions and Examples The notion of curvature measures how sharply a curve bends. We would expect the curvature to be 0 for a straight line, to be very small
More informationMathematical Physics, Lecture 9
Mathematical Physics, Lecture 9 Hoshang Heydari Fysikum April 25, 2012 Hoshang Heydari (Fysikum) Mathematical Physics, Lecture 9 April 25, 2012 1 / 42 Table of contents 1 Differentiable manifolds 2 Differential
More informationLinear Span and Bases
MAT067 University of California, Davis Winter 2007 Linear Span and Bases Isaiah Lankham, Bruno Nachtergaele, Anne Schilling (January 23, 2007) Intuition probably tells you that the plane R 2 is of dimension
More informationMATH 304 Linear Algebra Lecture 24: Scalar product.
MATH 304 Linear Algebra Lecture 24: Scalar product. Vectors: geometric approach B A B A A vector is represented by a directed segment. Directed segment is drawn as an arrow. Different arrows represent
More informationMarkov Chains, part I
Markov Chains, part I December 8, 2010 1 Introduction A Markov Chain is a sequence of random variables X 0, X 1,, where each X i S, such that P(X i+1 = s i+1 X i = s i, X i 1 = s i 1,, X 0 = s 0 ) = P(X
More informationSection 1.1. Introduction to R n
The Calculus of Functions of Several Variables Section. Introduction to R n Calculus is the study of functional relationships and how related quantities change with each other. In your first exposure to
More informationInner product. Definition of inner product
Math 20F Linear Algebra Lecture 25 1 Inner product Review: Definition of inner product. Slide 1 Norm and distance. Orthogonal vectors. Orthogonal complement. Orthogonal basis. Definition of inner product
More informationInner Product Spaces
Math 571 Inner Product Spaces 1. Preliminaries An inner product space is a vector space V along with a function, called an inner product which associates each pair of vectors u, v with a scalar u, v, and
More informationDIVISORS AND LINE BUNDLES
DIVISORS AND LINE BUNDLES TONY PERKINS 1. Cartier divisors An analytic hypersurface of M is a subset V M such that for each point x V there exists an open set U x M containing x and a holomorphic function
More informationA REFLECTION APPROACH TO THE BROKEN RAY TRANSFORM
A REFLECTION APPROACH TO THE BROKEN RAY TRANSFORM JOONAS ILMAVIRTA Abstract. We reduce the broken ray transform on some Riemannian manifolds (with corners) to the geodesic ray transform on another manifold,
More informationSolutions to Math 51 First Exam January 29, 2015
Solutions to Math 5 First Exam January 29, 25. ( points) (a) Complete the following sentence: A set of vectors {v,..., v k } is defined to be linearly dependent if (2 points) there exist c,... c k R, not
More informationtr g φ hdvol M. 2 The EulerLagrange equation for the energy functional is called the harmonic map equation:
Notes prepared by Andy Huang (Rice University) In this note, we will discuss some motivating examples to guide us to seek holomorphic objects when dealing with harmonic maps. This will lead us to a brief
More informationThe Dirichlet Unit Theorem
Chapter 6 The Dirichlet Unit Theorem As usual, we will be working in the ring B of algebraic integers of a number field L. Two factorizations of an element of B are regarded as essentially the same if
More informationDeterminants, Areas and Volumes
Determinants, Areas and Volumes Theodore Voronov Part 2 Areas and Volumes The area of a twodimensional object such as a region of the plane and the volume of a threedimensional object such as a solid
More informationRow Ideals and Fibers of Morphisms
Michigan Math. J. 57 (2008) Row Ideals and Fibers of Morphisms David Eisenbud & Bernd Ulrich Affectionately dedicated to Mel Hochster, who has been an inspiration to us for many years, on the occasion
More informationLectures notes on orthogonal matrices (with exercises) 92.222  Linear Algebra II  Spring 2004 by D. Klain
Lectures notes on orthogonal matrices (with exercises) 92.222  Linear Algebra II  Spring 2004 by D. Klain 1. Orthogonal matrices and orthonormal sets An n n realvalued matrix A is said to be an orthogonal
More informationSection 12.6: Directional Derivatives and the Gradient Vector
Section 26: Directional Derivatives and the Gradient Vector Recall that if f is a differentiable function of x and y and z = f(x, y), then the partial derivatives f x (x, y) and f y (x, y) give the rate
More informationTHE FANO THREEFOLD X 10. This is joint work in progress with A. Iliev (Sofia) and L. Manivel (Grenoble).
THE FANO THREEFOLD X 10 OLIVIER DEBARRE This is joint work in progress with A. Iliev (Sofia) and L. Manivel (Grenoble). 1. Introduction A Fano variety is a (complex) projective manifold X with K X ample.
More informationThe Full Pythagorean Theorem
The Full Pythagorean Theorem Charles Frohman January 1, 2010 Abstract This note motivates a version of the generalized pythagorean that says: if A is an n k matrix, then det(a t A) = I det(a I ) 2 where
More informationRecall that two vectors in are perpendicular or orthogonal provided that their dot
Orthogonal Complements and Projections Recall that two vectors in are perpendicular or orthogonal provided that their dot product vanishes That is, if and only if Example 1 The vectors in are orthogonal
More informationIntroduction to Characteristic Classes
UNIVERSITY OF COPENHAGEN Faculty of Science Department of Mathematical Sciences Mauricio Esteban Gómez López Introduction to Characteristic Classes Supervisors: Jesper Michael Møller, Ryszard Nest 1 Abstract
More informationf(x) is a singleton set for all x A. If f is a function and f(x) = {y}, we normally write
Math 525 Chapter 1 Stuff If A and B are sets, then A B = {(x,y) x A, y B} denotes the product set. If S A B, then S is called a relation from A to B or a relation between A and B. If B = A, S A A is called
More informationParameterized Surfaces
Parameterized Surfaces Definition: A parameterized surface x : U R 2 R 3 is a differentiable map x from an open set U R 2 into R 3. The set x(u) R 3 is called the trace of x. x is regular if the differential
More informationMultiplicity. Chapter 6
Chapter 6 Multiplicity The fundamental theorem of algebra says that any polynomial of degree n 0 has exactly n roots in the complex numbers if we count with multiplicity. The zeros of a polynomial are
More information3. INNER PRODUCT SPACES
. INNER PRODUCT SPACES.. Definition So far we have studied abstract vector spaces. These are a generalisation of the geometric spaces R and R. But these have more structure than just that of a vector space.
More informationMath 497C Sep 9, Curves and Surfaces Fall 2004, PSU
Math 497C Sep 9, 2004 1 Curves and Surfaces Fall 2004, PSU Lecture Notes 2 15 sometries of the Euclidean Space Let M 1 and M 2 be a pair of metric space and d 1 and d 2 be their respective metrics We say
More informationOn Motion of Robot EndEffector using the Curvature Theory of Timelike Ruled Surfaces with Timelike Directrix
Malaysian Journal of Mathematical Sciences 8(2): 89204 (204) MALAYSIAN JOURNAL OF MATHEMATICAL SCIENCES Journal homepage: http://einspem.upm.edu.my/journal On Motion of Robot EndEffector using the Curvature
More informationCourse 221: Analysis Academic year , First Semester
Course 221: Analysis Academic year 200708, First Semester David R. Wilkins Copyright c David R. Wilkins 1989 2007 Contents 1 Basic Theorems of Real Analysis 1 1.1 The Least Upper Bound Principle................
More informationarxiv:1404.6042v1 [math.dg] 24 Apr 2014
Angle Bisectors of a Triangle in Lorentzian Plane arxiv:1404.604v1 [math.dg] 4 Apr 014 Joseph Cho August 5, 013 Abstract In Lorentzian geometry, limited definition of angles restricts the use of angle
More informationChapter 20. Vector Spaces and Bases
Chapter 20. Vector Spaces and Bases In this course, we have proceeded stepbystep through lowdimensional Linear Algebra. We have looked at lines, planes, hyperplanes, and have seen that there is no limit
More informationDuality of linear conic problems
Duality of linear conic problems Alexander Shapiro and Arkadi Nemirovski Abstract It is well known that the optimal values of a linear programming problem and its dual are equal to each other if at least
More informationTHE DIMENSION OF A VECTOR SPACE
THE DIMENSION OF A VECTOR SPACE KEITH CONRAD This handout is a supplementary discussion leading up to the definition of dimension and some of its basic properties. Let V be a vector space over a field
More informationBASIC FACTS ABOUT WEAKLY SYMMETRIC SPACES
BASIC FACTS ABOUT WEAKLY SYMMETRIC SPACES GIZEM KARAALI 1. Symmetric Spaces Symmetric spaces in the sense of E. Cartan supply major examples in Riemannian geometry. The study of their structure is connected
More informationSolving Systems of Linear Equations
LECTURE 5 Solving Systems of Linear Equations Recall that we introduced the notion of matrices as a way of standardizing the expression of systems of linear equations In today s lecture I shall show how
More informationR is a function which is of class C 1. We have already thought about its level sets, sets of the form
Manifolds 1 Chapter 5 Manifolds We are now going to begin our study of calculus on curved spaces. Everything we have done up to this point has been concerned with what one might call the flat Euclidean
More informationNotes on the representational possibilities of projective quadrics in four dimensions
bacso 2006/6/22 18:13 page 167 #1 4/1 (2006), 167 177 tmcs@inf.unideb.hu http://tmcs.math.klte.hu Notes on the representational possibilities of projective quadrics in four dimensions Sándor Bácsó and
More information1 Orthogonal projections and the approximation
Math 1512 Fall 2010 Notes on least squares approximation Given n data points (x 1, y 1 ),..., (x n, y n ), we would like to find the line L, with an equation of the form y = mx + b, which is the best fit
More information