THE STEINER FORMULA FOR EROSIONS. then one shows in integral geometry that the volume of A ρk (ρ 0) is a polynomial of degree n:
|
|
- Eustacia Greene
- 5 years ago
- Views:
Transcription
1 THE STEINER FORMULA FOR EROSIONS. G. MATHERON Abstract. If A and K are compact convex sets in R n, a Steiner-type formula is valid for the erosion of A by K if and only if A is open with respect to K. The if part is proved in the general case. The only if part is conjectured, and proved only in the case n = 2. Keywords: erosion, Steiner formula. If A and K are compact and convex in R n, and if denotes Minowsi sum B C = {b + c, b B, c C}, then one shows in integral geometry that the volume of A ρk (ρ 0) is a polynomial of degree n: V (A ρk) = n W (A, K)ρ. (1) The coefficients of this polynomial are the values in (A, K) of the mixed volume functionals of Minowsi. In particular, W 0 (A, K) = V (A) and W n (A, K) = V (K). More generally, one also has n p p W p (A ρk, K) = W +p (A, K)ρ, p = 0, 1,..., n. (2) These mixed functionals (in the two variables A and K) are read as usual functionals of a single variable (Quermassintegrale) by the intermediary of passage to means of rotation: if Ω denotes the group of rotations of R n and ω(dω) is the unique invariant probability measure on Ω, one has, in effect, the classical relation W (ωa, K) ω(dω) = 1 W (A)W n (K) (3) b n Ω where b n denotes the volume of the unit ball in R n. In particular, the mean volume of the rotation of A ρk is given by V (ωa ρk) ω(dω) = 1 n W (A)W n (K)ρ. (4) b n Ω In contrast, one does not generally have such simple results for Minowsi subtraction. Rather than Minowsi subtraction, it is interesting to consider the erosion of A by ρk, in Translation by Erin P. J. Pearse, May 20, Full reference for the original article appears at the end. 1
2 other words, the difference A ρǩ where Ǩ = K is the symmetric of K in relation to the origin. (In a general manner, B Č = {x C. x B}, where C x denotes the translate of C by x.) My objective, in what follows, is to examine conditions under which the formulas (1), (2), and (4) remain valid for erosions: A must be open by K, i.e., A = A K, with A K = (A Ǩ) K. This first result can be improved. Suppose that all the functionals W p, p = 1, 2,..., n, satisfy the relation in question. I mae a conjecture stronger than the converse: it suffices only to suppose that the volume of the erosion satisfies the formula for which A is open by K. Similarly, if one passes to means of rotation, one deduces from the first result a general demonstration of a conjecture of [Miles] (demonstrated by this author in the case n = 2) according to which the Steiner formula is applied to the mean of rotation of the erosion for which A and all its rotational transforms are open by K. In my turn, I put forth a new conjecture for which condition is not just sufficient, but also necessary. I demonstrate these two new conjectures in paragraph 3, but only for 2 dimensions. In the last paragraph, I give (always in R 2 ) the necessary and sufficient condition for the volume of the erosion to be a polynomial of second degree. 1. The formula (2) for erosions. We first give the principal result. Theorem 1. Let A and K be compact and convex in R n. One has: n p W p (A ρǩ, K) = p ( 1) ρ W +p (A, K) (2 ) for p = 0, 1,..., n and all ρ (0, 1) if and only if A is open by K. Proof. ( ) Suppose that A is open by K, so A = A 1 K with A 1 = A Ǩ. So for 0 r 1, one also has A rǩ = A 1 (1 r)k and, according to (2): n p W p (A rǩ, K) = p (1 r) W +p (A 1, K) = Q p (r), is a polynomial in r. By the same formula, for r 0 one also finds n p p W p (A rk, K) = r W +p (A, K) = P p (r). But one has A rk = A 1 (1 + r)k and thus again: n p p W p (A rk, K) = (1 + r) W +p (A 1, K) = Q p ( r). Consequently, Q p ( r) = P p (r) for r 0: as it is a question of polynomials, this also gives rise to Q p (r) = P p ( r) for r (0, 1), i.e., W p (A rǩ, K) = P p( r). 2
3 ( ) Conversely, suppose: W p (A Ǩ, K) = P p( 1) for p = 0, 1,..., n. Applying the formula (1) to the opening A K = (A Ǩ) K gives n n V (A K ) = W (A Ǩ, K) = P ( 1). An elementary calculation thus gives ( n ) P ( 1) = V (A). Lie A K A, the equality V (A K ) = V (A) brings forth the equality A K = A: A is open by K. Corollary (1). If A is open by K, for all ρ (0, 1) one has: n V (A ρǩ) = ( 1) W (A, K)ρ. (1 ) This corollary is trivial, but its converse is not. Below, we state a form of this conjecture for R n, and we prove only the case n = 2. Conjecture 1. (Strong converse). If (1 ) is true, then A is open by K. We will see just below that the volume of the erosion is differentiable in ρ with derivative: d dρ V (A ρǩ) = nw 1(A ρǩ, K), ρ (0, 1) (5) (provided that A Ǩ ). It follows that (2 ) hence (1 ) is verified for p = 1. For two dimensions, this suffices (since W 2 (A ρǩ, K) = V (K) trivially verifies (2 )), and Conjecture 2 is a simple corollary of the theorem. But it is no longer the same when n 3. In this regard to the means of rotation we obtain the result of [Miles] named in the conjecture (and proved by him in the case n = 2). Corollary (2). If A and all its rotations are open by K, then for all ρ (0, 1), one has: V (ωa ρǩ) ω(dω) = 1 n ( 1) W (A)W n (K)ρ. (4 ) b n Ω In effect, it suffices to apply (1 ) to ωa and to use the relation (3). Remar. It is easy to see that our condition (ωa open by K for all rotations ω Ω) is equivalent to that given by [Miles] (the sup of the radii of the curvature of K must be bounded by the inf of the radii of the curvature of A) or rather: there exists a ball Br of the ray r 0 such that A is open by Br and Br is open by K. We prove further the converse of the corollary in the case n = 2. For n > 2, we give a conjecture. 3
4 Conjecture 2. If (4 ) is true, then A and all its rotations are open by K. 2. Differentiability and convexity of V (A ρǩ) In the following, A and K always designate compact convex sets for which the erosion A Ǩ is not empty. As the many functionals studied here are invariant under translation, we may assume 0 K A, which lets us use the support functions h K and h A of these convex bodies. Our first objective is to establish the differentiability of V (A ρǩ), and the relation (5) used to prove the conjecture in the case n = 2. We first note an inequality. From A A ρk = (A ρǩ) ρk and the relation (1), we have V (A) V (A ρǩ) + nρw 1(A ρǩ, K) +... (taing into account the continuity of W 1 ) and by the following, for ρ tending to 0: V (A) V (A ρǩ) lim inf nw 1 (A, K). (6) ρ We use the following lemma (which we will prove in a moment). Lemma 1 (Convexity Lemma). For all ρ (0, 1), one has V (A ρk) V (A) V (A) V (A ρǩ). (7) According to this lemma, one obtains for ρ tending to 0: lim sup V (A) V (A ρǩ) ρ lim V (A ρk) V (A) nw 1 (A, K). ρ Taing (6) into account, this indicates that V (A ρǩ) admits a right derivative at ρ = 0 equal to nw 1 (A, K). Upon replacing A by A ρǩ, on finds immediately that for 0 ρ < 1 d + V (A ρǩ) dρ = nw 1 (A ρǩ, K). For 0 < ρ 1, analogous reasons show that the left derivative exists and again taes the value nw 1 (A ρǩ, K). This establishes differentiability and the relation (5). Moreover, this derivative is increasing (because W 1 (C, K) is increasing function of the convex body C) so that the function ρ V (A ρǩ) is convex on (0, ). If we put { V (A ρǩ), ρ 0, Φ(ρ) = V (A ρǩ), ρ < 0, this function Φ admits the same left and right derivative nw 1 (A ρǩ, K) at ρ = 0. As it is convex on the positive half-line, and also, after (1), on the negative half-line, this function is convex on the entire interval (, ). 4
5 Proof of the convexity lemma. We initially consider the case where A is a polyhedron (with nonempty interior). Let F i, i = 1,..., N be the faces of A, and S i the (n 1)-volume of F i, and let u i be the exterior unit normal vector of F i. If h K is the support function of K, one has: N V (A ρk) V (A) + ρ S i h K (u i ) and nw 1 (A, K) = i=1 N S i h K (u i ). We show that V (A ρǩ) has right derivative nw 1(A, K) at ρ = 0. Let x A be a point of A. One has x A Ǩ iff x F i ρǩ for one or more faces F i. But it is easy to see that the volume of A (F i ρǩ) has an upper bound of the form i=1 V ((F i ρǩ) A) ρ(s ih K (u i ) + ε i ) with ε i 0 if ρ 0. (h K is the support function of K). Therefore: N V (A) V (A ρǩ) V [ N (F i ρǩ) A] ρ V (S i h K (u i ) + ε i ) and lim sup i=1 V (A) V (A ρǩ) ρ i=1 N S i h K (u i ) = nw 1 (A, K). Taing into account (6), this implies the existence of a right derivative at ρ = 0. Just as this derivative is nw 1 (A, K), the function { V (A ρǩ), ρ 0, Φ(ρ) = V (A ρk), ρ < 0, similarly admits a derivative i=1 Φ (0) = nw 1 (A, K) at ρ = 0. For ρ > 0, A ρǩ is again a polyhedron (as an intersection of translates of A), and one can apply the same reasoning replacing A by A ρǩ. Whence one sees that Φ has, for all ρ (, 1), the derivative { Φ nw 1 (A ρǩ, K), ρ 0, (ρ) = nw 1 (A ρk, K), ρ < 0. This derivative is increasing so that Φ is convex. In particular, A verifies the relation (7). Now if A is not a polyhedron, consider a decreasing sequence of convex polyhedrons {A n } such that A = A n : one has A ρk = (A n ρk), A ρǩ = (A n ρǩ), 5
6 so that the relation (7), which holds for each A n, passes to the limit. The surface measure. When A is a convex polyhedron, one has for all compact convex K: nw 1 (A, K) = h K (u)g A (du), (8) where G A is the measure on the unit sphere defined by G A = N i=1 S iδ ui. Because the support functions h K of the compact convex sets K form a dense subspace of the continuous functions on the unit sphere (under uniform convergence), this relation (8) passes to the limit: for all compact convex sets A, there is a measure G A on the unit sphere such that (8) is valid and the function A G A is continuous. (If A n A for the Hausdorff metric, then G An converges vaguely to G A.) Moreover, if A is a polyhedron, the (n 1)-volumes S i (ρ) of the faces of the erosion A ρǩ are bounded above by the (n 1)-volumes S i of the corresponding faces of A. Then one also has G A ρ Ǩ G A. This relation similarly passes to the limit: for all compact convex A, the function ρ G A ρ Ǩ is decreasing. In particular, we see the following result. Lemma 2. In 2 dimensions, A is open by A Ǩ whenever A Ǩ. Proof. In effect, in R 2, a measure G on the unit circle is a perimeter measure of a compact convex (defined up to a translation) iff e iθ G(dθ) = 0 (condition of the closure of the contour). If A Ǩ, one has G A Ǩ G A by the above. Thus, the measure G = G A G A Ǩ is positive, and as it satisfies the conditions of closure, G is the perimeter measure of a compact convex set K 1. But G A = G A Ǩ + G K1 is equivalent to A + (A Ǩ) K 1. Thus A is open by A Ǩ. Remar. Lemma 2 is not true for n 3. Counterexample: in R 3, let A be a cone with a circular base, and let K be a segment b parallel to the base of A. Then A Ǩ is the intersection A A b, and one easily sees that A is not open by A A b. In R n, we have A 1 = A Ǩ, K 1 = A Ǎ1 = A (Ǎ K). It is easy to see that K 1 is the closure of K by the complement A c of A (i.e., the intersection of the translates of A which contain K): K 1 = K Ac = (K Ǎc ) A c = {A b. A b K}. So A Ǩ1 = A 1 (because A Ǩ1 is the closure of A 1 by A c, but A 1 is already closed by A c insofar as the intersection of the translates of A) and one has A K1 = A A1 = A 1 K 1 A. But the inclusion is strict in general, and it s only in the case n = 2 that the equality A = A 1 K 1 is guaranteed. 6
7 In R n, if A is open by K, let A = A 1 K and one necessarily has K 1 = K. In effect, A 1 K = A A 1 K 1 A 1 K follows from the equalities A 1 K 1 = A 1 K and K 1 = K. For n = 2, the converse is true: in R 2, A is open by K iff K 1 = K. In effect, according to lemma 2, in R 2 A is open by A 1 = A Ǩ. One has therefore A = A 1 C for the compact convex C which satisfies C = A Ǎ1 = K 1. Thus A = A 1 K 1. Consequently, if K 1 = K, one has A = A 1 K and A is open by K. 3. Demonstration of the Conjectures 1 and 2 for n = 2 In the case n = 2, one has an important inequality. Theorem 2. If A and K are compact and convex in R 2 and A Ǩ, one has: V (A ρǩ) V (A) 2ρW 1(A, K) + ρ 2 V (K) (9) for all ρ (0, 1), with equality iff A is open by ρk. Proof. In effect, by (5) one immediately has d dρ V (A ρǩ) = 2W 1(A ρǩ, K) and A A ρk = (A ρǩ) ρk follows immediately from (2): W 1 (A, K) W 1 (A ρǩ, K) + ρv (K). Consequently: d dρ V (A ρǩ) 2ρV (K) 2W 1(A, K) and by integrating from 0 to ρ 0 1: V (A ρ 0 Ǩ) V (A) 2ρ 0 W 1 (A, K) + ρ 2 0 V (K). If the equality is attained, one has d dρ V (A ρǩ) = 2ρV (K) 2W 1(A, K) for 0 ρ ρ 0, i.e., W 1 (A ρǩ) = W 1(A, K) ρv(k). Upon transferring these results into V (A ρ0 K) = V (A ρ 0 Ǩ) + 2ρ 0 W 1 (A ρ 0 Ǩ, K) + ρ 2 0 V (K) one thus finds V (A ρ0 K) = V (A), and consequently A ρ0 K = A is open by ρ 0 K. Corollary. The conjectures 1 and 2 are true in R 2. 7
8 Proof. For conjecture 1, this is immediate. Suppose we have V (ωa ρǩ) ω(dω) = V (A) (ρ/2π)s(a)s(k) + ρ2 V (K) Ω where S(A) = 2W 1 (A) and S(K) = 2W 1 (K) are the perimeters of A and K. inequality (9), this indicates that one has: V (ωa ρǩ) = V (A) 2ρW 1(A, K) + ρ 2 V (K), By the thus ωa is open by K, for ω-almost every rotation ω Ω. As the collection of compact convex sets open by K is closed (under the Hausdorff metric), this relation occurs, as a matter of fact, for all ω Ω, and conjecture 2 follows. At this stage, we put forth a third conjecture (from which the first and second conjectures would be immediate consequences). Conjecture 3. In R n, one has for all ρ (0, 1): n V (A ρǩ) ( 1) W (A, K)ρ with equality iff A is open by ρk. 4. Conditions for which V (A ρǩ) will be a polynomial When A isn t open by K, the function ρ V (A ρǩ) may be very complicated (for example, if one erodes a ball by a cube), but may, in certain cases, be a polynomial of degree n (by example, if one erodes a cube by a ball). In the case of 2 dimensions, one can obtain a precise result in this regard (which does not generalize to higher dimensions). In effect, for n = 2 we can put By Lemma 2, one has One can also write A ρ = A ρǩ and K ρ = A Ǎρ, ρ (0, 1). A = A ρ K ρ, and ρk K ρ ρk 1. A 1 = A Ǩ = (A ρǩ) (1 ρ)ǩ = A ρ (1 ρ)ǩ. By the same Lemma 2, it follows that A ρ is open by A 1, so let: with X ρ = A ρ Ǎ1. Whence A ρ = A 1 X ρ (10) A = A ρ K ρ = A 1 K ρ X ρ. As one also has A = A 1 K 1, it further follows that K 1 = K ρ X ρ. (10 ) 8
9 Therefore, K 1 is open by K ρ = A Ǎρ for all ρ (0, 1). As one also has ρk ρk 1, it follows that A ρǩ = A ρ A ρǩ1, thus V (A ρǩ) V (A ρǩ1) = V (A) 2ρW 1 (A, K 1 ) + ρ 2 V (K 1 ) (11) with equality when ρ = 0 and ρ = 1 (because A Ǩ = A Ǩ1). For ρ other than 0 or 1, the inequality (11) becomes an inequality iff A ρǩ = A ρǩ1, that is to say, if: A 1 X ρ = (A 1 K 1 ) ρǩ1 = A 1 (1 ρ)k 1, so finally also if X ρ = (1 ρ)k 1. But X ρ = (1 ρ)k 1,, by (10 ) is equivalent to K ρ = ρk 1. Whence a first result. Lemma 3. In R 2, the inequality (11) is true, and the equality is true for ρ (0, 1) iff K ρ = ρk 1. More generally, we have the following theorem. Theorem 3. In R 2, V (A ρǩ) is a polynomial of second degree in ρ iff K ρ = ρk 1 for every ρ (0, 1), and in this case one has { V (A ρǩ) = V (A) 2ρW (A, K 1 ) + ρ 2 V (K 1 ) W 1 (A, K 1 ) = W 1 (A, K). Proof. If K ρ = ρk 1, these relation follow from Lemma 3 and formula (5). Conversely, we suppose that V (A ρ ) is a second degree polynomial, V (A ρ ) = V (A) 2aρ + Hρ 2. Upon application of (5), we find a = W 1 (A, K) and W 1 (A ρ, K) = W 1 (A, K) ρh. But A = A ρ K ρ and W 1 (A, K) = W 1 (A ρ, K) + W 1 (K ρ, K). Consequently, In particular, for ρ = 1 it becomes So one can write for ρ = 1 ρh = W 1 (K ρ, K), ρ (0, 1). H = W 1 (K 1, K). V (A 1 ) = V (A) 2W 1 (A, K) + W 1 (K 1, K) = V (A) 2W 1 (A 1, K) W 1 (K 1, K) (seeing that A = A 1 K 1 ), since (by K K 1 ) we have V (A 1 ) V (A) 2W 1 (A 1, K 1 ) V (K 1 ) = V (A) 2W 1 (A, K 1 ) + V (K 1 ) = V (A 1 ). 9
10 It follows that the preceding inequalities are, in fact, equalities: W 1 (K 1, K) = V (K 1 ) W 1 (A 1, K) = W 1 (A 1, K 1 ) W 1 (A, K) = W 1 (A, K 1 ). Thus one has a = W 1 (A, K 1 ) and H = V (K 1 ). By Lemma 3, this follows from A ρ = A ρǩ1, and K ρ = ρk 1 for all ρ (0, 1). Remar. Theorem 3 is not true for n 3. For example, tae the unit ball in R 3 for A, and let K be a straight segment of unit length. Then for ρ (0, 1), one finds: V (A ρǩ) = π ( ρ + 12 ) ρ3. This is a polynomial of third degree. But the relation K ρ = ρk 1 is not satisfied. References [Math] Matheron, G., La Formule de Steiner pour les érosions, J. Appl. Prob. 15, pp (1978) [Miles] Miles, R. E., On the elimination of edge efects in planar sampling., in Stochastic Geometry. E. F. Harding and D. G. Kendall, eds., Wiley, London (1974) 10
arxiv: v2 [math.ds] 9 Jun 2013
SHAPES OF POLYNOMIAL JULIA SETS KATHRYN A. LINDSEY arxiv:209.043v2 [math.ds] 9 Jun 203 Abstract. Any Jordan curve in the complex plane can be approximated arbitrarily well in the Hausdorff topology by
More informationMaths 212: Homework Solutions
Maths 212: Homework Solutions 1. The definition of A ensures that x π for all x A, so π is an upper bound of A. To show it is the least upper bound, suppose x < π and consider two cases. If x < 1, then
More informationCHAPTER 7. Connectedness
CHAPTER 7 Connectedness 7.1. Connected topological spaces Definition 7.1. A topological space (X, T X ) is said to be connected if there is no continuous surjection f : X {0, 1} where the two point set
More informationNotes for Functional Analysis
Notes for Functional Analysis Wang Zuoqin (typed by Xiyu Zhai) November 6, 2015 1 Lecture 18 1.1 The convex hull Let X be any vector space, and E X a subset. Definition 1.1. The convex hull of E is the
More informationLocally convex spaces, the hyperplane separation theorem, and the Krein-Milman theorem
56 Chapter 7 Locally convex spaces, the hyperplane separation theorem, and the Krein-Milman theorem Recall that C(X) is not a normed linear space when X is not compact. On the other hand we could use semi
More informationGAUSSIAN MEASURE OF SECTIONS OF DILATES AND TRANSLATIONS OF CONVEX BODIES. 2π) n
GAUSSIAN MEASURE OF SECTIONS OF DILATES AND TRANSLATIONS OF CONVEX BODIES. A. ZVAVITCH Abstract. In this paper we give a solution for the Gaussian version of the Busemann-Petty problem with additional
More informationMath 421, Homework #6 Solutions. (1) Let E R n Show that = (E c ) o, i.e. the complement of the closure is the interior of the complement.
Math 421, Homework #6 Solutions (1) Let E R n Show that (Ē) c = (E c ) o, i.e. the complement of the closure is the interior of the complement. 1 Proof. Before giving the proof we recall characterizations
More informationA. Iosevich and I. Laba January 9, Introduction
K-DISTANCE SETS, FALCONER CONJECTURE, AND DISCRETE ANALOGS A. Iosevich and I. Laba January 9, 004 Abstract. In this paper we prove a series of results on the size of distance sets corresponding to sets
More informationREAL ANALYSIS LECTURE NOTES: 1.4 OUTER MEASURE
REAL ANALYSIS LECTURE NOTES: 1.4 OUTER MEASURE CHRISTOPHER HEIL 1.4.1 Introduction We will expand on Section 1.4 of Folland s text, which covers abstract outer measures also called exterior measures).
More informationNAME: Mathematics 205A, Fall 2008, Final Examination. Answer Key
NAME: Mathematics 205A, Fall 2008, Final Examination Answer Key 1 1. [25 points] Let X be a set with 2 or more elements. Show that there are topologies U and V on X such that the identity map J : (X, U)
More informationREAL ANALYSIS I HOMEWORK 4
REAL ANALYSIS I HOMEWORK 4 CİHAN BAHRAN The questions are from Stein and Shakarchi s text, Chapter 2.. Given a collection of sets E, E 2,..., E n, construct another collection E, E 2,..., E N, with N =
More informationAppendix B Convex analysis
This version: 28/02/2014 Appendix B Convex analysis In this appendix we review a few basic notions of convexity and related notions that will be important for us at various times. B.1 The Hausdorff distance
More informationCourse 212: Academic Year Section 1: Metric Spaces
Course 212: Academic Year 1991-2 Section 1: Metric Spaces D. R. Wilkins Contents 1 Metric Spaces 3 1.1 Distance Functions and Metric Spaces............. 3 1.2 Convergence and Continuity in Metric Spaces.........
More informationTopology. Xiaolong Han. Department of Mathematics, California State University, Northridge, CA 91330, USA address:
Topology Xiaolong Han Department of Mathematics, California State University, Northridge, CA 91330, USA E-mail address: Xiaolong.Han@csun.edu Remark. You are entitled to a reward of 1 point toward a homework
More informationConvexity in R N Supplemental Notes 1
John Nachbar Washington University November 1, 2014 Convexity in R N Supplemental Notes 1 1 Introduction. These notes provide exact characterizations of support and separation in R N. The statement of
More informationNotes on Distributions
Notes on Distributions Functional Analysis 1 Locally Convex Spaces Definition 1. A vector space (over R or C) is said to be a topological vector space (TVS) if it is a Hausdorff topological space and the
More informationStar bodies with completely symmetric sections
Star bodies with completely symmetric sections Sergii Myroshnychenko, Dmitry Ryabogin, and Christos Saroglou Abstract We say that a star body is completely symmetric if it has centroid at the origin and
More information3 (Due ). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure?
MA 645-4A (Real Analysis), Dr. Chernov Homework assignment 1 (Due ). Show that the open disk x 2 + y 2 < 1 is a countable union of planar elementary sets. Show that the closed disk x 2 + y 2 1 is a countable
More informationU e = E (U\E) e E e + U\E e. (1.6)
12 1 Lebesgue Measure 1.2 Lebesgue Measure In Section 1.1 we defined the exterior Lebesgue measure of every subset of R d. Unfortunately, a major disadvantage of exterior measure is that it does not satisfy
More informationGeometry and topology of continuous best and near best approximations
Journal of Approximation Theory 105: 252 262, Geometry and topology of continuous best and near best approximations Paul C. Kainen Dept. of Mathematics Georgetown University Washington, D.C. 20057 Věra
More informationProblem Set 2: Solutions Math 201A: Fall 2016
Problem Set 2: s Math 201A: Fall 2016 Problem 1. (a) Prove that a closed subset of a complete metric space is complete. (b) Prove that a closed subset of a compact metric space is compact. (c) Prove that
More informationA LOCALIZATION PROPERTY AT THE BOUNDARY FOR MONGE-AMPERE EQUATION
A LOCALIZATION PROPERTY AT THE BOUNDARY FOR MONGE-AMPERE EQUATION O. SAVIN. Introduction In this paper we study the geometry of the sections for solutions to the Monge- Ampere equation det D 2 u = f, u
More informationThe small ball property in Banach spaces (quantitative results)
The small ball property in Banach spaces (quantitative results) Ehrhard Behrends Abstract A metric space (M, d) is said to have the small ball property (sbp) if for every ε 0 > 0 there exists a sequence
More informationGeometric and isoperimetric properties of sets of positive reach in E d
Geometric and isoperimetric properties of sets of positive reach in E d Andrea Colesanti and Paolo Manselli Abstract Some geometric facts concerning sets of reach R > 0 in the n dimensional Euclidean space
More informationFUNCTIONAL ANALYSIS LECTURE NOTES: COMPACT SETS AND FINITE-DIMENSIONAL SPACES. 1. Compact Sets
FUNCTIONAL ANALYSIS LECTURE NOTES: COMPACT SETS AND FINITE-DIMENSIONAL SPACES CHRISTOPHER HEIL 1. Compact Sets Definition 1.1 (Compact and Totally Bounded Sets). Let X be a metric space, and let E X be
More informationAustin Mohr Math 730 Homework. f(x) = y for some x λ Λ
Austin Mohr Math 730 Homework In the following problems, let Λ be an indexing set and let A and B λ for λ Λ be arbitrary sets. Problem 1B1 ( ) Show A B λ = (A B λ ). λ Λ λ Λ Proof. ( ) x A B λ λ Λ x A
More information1 Topology Definition of a topology Basis (Base) of a topology The subspace topology & the product topology on X Y 3
Index Page 1 Topology 2 1.1 Definition of a topology 2 1.2 Basis (Base) of a topology 2 1.3 The subspace topology & the product topology on X Y 3 1.4 Basic topology concepts: limit points, closed sets,
More informationg 2 (x) (1/3)M 1 = (1/3)(2/3)M.
COMPACTNESS If C R n is closed and bounded, then by B-W it is sequentially compact: any sequence of points in C has a subsequence converging to a point in C Conversely, any sequentially compact C R n is
More informationMathematics for Economists
Mathematics for Economists Victor Filipe Sao Paulo School of Economics FGV Metric Spaces: Basic Definitions Victor Filipe (EESP/FGV) Mathematics for Economists Jan.-Feb. 2017 1 / 34 Definitions and Examples
More informationProofs for Large Sample Properties of Generalized Method of Moments Estimators
Proofs for Large Sample Properties of Generalized Method of Moments Estimators Lars Peter Hansen University of Chicago March 8, 2012 1 Introduction Econometrica did not publish many of the proofs in my
More informationA Brunn Minkowski theory for coconvex sets of finite volume
A Brunn Minkowski theory for coconvex sets of finite volume Rolf Schneider Abstract Let C be a closed convex cone in R n, pointed and with interior points. We consider sets of the form A = C \ K, where
More informationMATH 54 - TOPOLOGY SUMMER 2015 FINAL EXAMINATION. Problem 1
MATH 54 - TOPOLOGY SUMMER 2015 FINAL EXAMINATION ELEMENTS OF SOLUTION Problem 1 1. Let X be a Hausdorff space and K 1, K 2 disjoint compact subsets of X. Prove that there exist disjoint open sets U 1 and
More informationThe Geometric Approach for Computing the Joint Spectral Radius
Proceedings of the 44th IEEE Conference on Decision and Control, and the European Control Conference 2005 Seville, Spain, December 12-15, 2005 TuB08.2 The Geometric Approach for Computing the Joint Spectral
More informationLECTURE 15: COMPLETENESS AND CONVEXITY
LECTURE 15: COMPLETENESS AND CONVEXITY 1. The Hopf-Rinow Theorem Recall that a Riemannian manifold (M, g) is called geodesically complete if the maximal defining interval of any geodesic is R. On the other
More informationMeasuring Ellipsoids 1
Measuring Ellipsoids 1 Igor Rivin Temple University 2 What is an ellipsoid? E = {x E n Ax = 1}, where A is a non-singular linear transformation of E n. Remark that Ax = Ax, Ax = x, A t Ax. The matrix Q
More informationPOLARS AND DUAL CONES
POLARS AND DUAL CONES VERA ROSHCHINA Abstract. The goal of this note is to remind the basic definitions of convex sets and their polars. For more details see the classic references [1, 2] and [3] for polytopes.
More informationEQUIVALENCE OF TOPOLOGIES AND BOREL FIELDS FOR COUNTABLY-HILBERT SPACES
EQUIVALENCE OF TOPOLOGIES AND BOREL FIELDS FOR COUNTABLY-HILBERT SPACES JEREMY J. BECNEL Abstract. We examine the main topologies wea, strong, and inductive placed on the dual of a countably-normed space
More informationMATH 722, COMPLEX ANALYSIS, SPRING 2009 PART 5
MATH 722, COMPLEX ANALYSIS, SPRING 2009 PART 5.. The Arzela-Ascoli Theorem.. The Riemann mapping theorem Let X be a metric space, and let F be a family of continuous complex-valued functions on X. We have
More informationChapter 1. Measure Spaces. 1.1 Algebras and σ algebras of sets Notation and preliminaries
Chapter 1 Measure Spaces 1.1 Algebras and σ algebras of sets 1.1.1 Notation and preliminaries We shall denote by X a nonempty set, by P(X) the set of all parts (i.e., subsets) of X, and by the empty set.
More informationProblem set 1, Real Analysis I, Spring, 2015.
Problem set 1, Real Analysis I, Spring, 015. (1) Let f n : D R be a sequence of functions with domain D R n. Recall that f n f uniformly if and only if for all ɛ > 0, there is an N = N(ɛ) so that if n
More informationTopology, Math 581, Fall 2017 last updated: November 24, Topology 1, Math 581, Fall 2017: Notes and homework Krzysztof Chris Ciesielski
Topology, Math 581, Fall 2017 last updated: November 24, 2017 1 Topology 1, Math 581, Fall 2017: Notes and homework Krzysztof Chris Ciesielski Class of August 17: Course and syllabus overview. Topology
More informationReal Analysis Notes. Thomas Goller
Real Analysis Notes Thomas Goller September 4, 2011 Contents 1 Abstract Measure Spaces 2 1.1 Basic Definitions........................... 2 1.2 Measurable Functions........................ 2 1.3 Integration..............................
More information1 Lecture 4: Set topology on metric spaces, 8/17/2012
Summer Jump-Start Program for Analysis, 01 Song-Ying Li 1 Lecture : Set topology on metric spaces, 8/17/01 Definition 1.1. Let (X, d) be a metric space; E is a subset of X. Then: (i) x E is an interior
More informationContents: 1. Minimization. 2. The theorem of Lions-Stampacchia for variational inequalities. 3. Γ -Convergence. 4. Duality mapping.
Minimization Contents: 1. Minimization. 2. The theorem of Lions-Stampacchia for variational inequalities. 3. Γ -Convergence. 4. Duality mapping. 1 Minimization A Topological Result. Let S be a topological
More informationTHE CONLEY ATTRACTORS OF AN ITERATED FUNCTION SYSTEM
Bull. Aust. Math. Soc. 88 (2013), 267 279 doi:10.1017/s0004972713000348 THE CONLEY ATTRACTORS OF AN ITERATED FUNCTION SYSTEM MICHAEL F. BARNSLEY and ANDREW VINCE (Received 15 August 2012; accepted 21 February
More informationConvexity in R n. The following lemma will be needed in a while. Lemma 1 Let x E, u R n. If τ I(x, u), τ 0, define. f(x + τu) f(x). τ.
Convexity in R n Let E be a convex subset of R n. A function f : E (, ] is convex iff f(tx + (1 t)y) (1 t)f(x) + tf(y) x, y E, t [0, 1]. A similar definition holds in any vector space. A topology is needed
More informationAnalysis III Theorems, Propositions & Lemmas... Oh My!
Analysis III Theorems, Propositions & Lemmas... Oh My! Rob Gibson October 25, 2010 Proposition 1. If x = (x 1, x 2,...), y = (y 1, y 2,...), then is a distance. ( d(x, y) = x k y k p Proposition 2. In
More informationConvergence of a Generalized Midpoint Iteration
J. Able, D. Bradley, A.S. Moon under the supervision of Dr. Xingping Sun REU Final Presentation July 31st, 2014 Preliminary Words O Rourke s conjecture We begin with a motivating question concerning the
More informationLecture Notes in Advanced Calculus 1 (80315) Raz Kupferman Institute of Mathematics The Hebrew University
Lecture Notes in Advanced Calculus 1 (80315) Raz Kupferman Institute of Mathematics The Hebrew University February 7, 2007 2 Contents 1 Metric Spaces 1 1.1 Basic definitions...........................
More informationReflections of planar convex bodies
Reflections of planar convex bodies Rolf Schneider Abstract. It is proved that every convex body in the plane has a point such that the union of the body and its image under reflection in the point is
More informationSet, functions and Euclidean space. Seungjin Han
Set, functions and Euclidean space Seungjin Han September, 2018 1 Some Basics LOGIC A is necessary for B : If B holds, then A holds. B A A B is the contraposition of B A. A is sufficient for B: If A holds,
More informationSHARP BOUNDARY TRACE INEQUALITIES. 1. Introduction
SHARP BOUNDARY TRACE INEQUALITIES GILES AUCHMUTY Abstract. This paper describes sharp inequalities for the trace of Sobolev functions on the boundary of a bounded region R N. The inequalities bound (semi-)norms
More informationRecall that if X is a compact metric space, C(X), the space of continuous (real-valued) functions on X, is a Banach space with the norm
Chapter 13 Radon Measures Recall that if X is a compact metric space, C(X), the space of continuous (real-valued) functions on X, is a Banach space with the norm (13.1) f = sup x X f(x). We want to identify
More informationBanach Spaces V: A Closer Look at the w- and the w -Topologies
BS V c Gabriel Nagy Banach Spaces V: A Closer Look at the w- and the w -Topologies Notes from the Functional Analysis Course (Fall 07 - Spring 08) In this section we discuss two important, but highly non-trivial,
More informationConvex Geometry. Carsten Schütt
Convex Geometry Carsten Schütt November 25, 2006 2 Contents 0.1 Convex sets... 4 0.2 Separation.... 9 0.3 Extreme points..... 15 0.4 Blaschke selection principle... 18 0.5 Polytopes and polyhedra.... 23
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 information1 Directional Derivatives and Differentiability
Wednesday, January 18, 2012 1 Directional Derivatives and Differentiability Let E R N, let f : E R and let x 0 E. Given a direction v R N, let L be the line through x 0 in the direction v, that is, L :=
More informationSpheres with maximum inner diameter
Carnegie Mellon University Research Showcase @ CMU Department of Mathematical Sciences Mellon College of Science 1970 Spheres with maximum inner diameter Juan Jorge Schäffer Carnegie Mellon University,
More informationDeviation Measures and Normals of Convex Bodies
Beiträge zur Algebra und Geometrie Contributions to Algebra Geometry Volume 45 (2004), No. 1, 155-167. Deviation Measures Normals of Convex Bodies Dedicated to Professor August Florian on the occasion
More informationYour first day at work MATH 806 (Fall 2015)
Your first day at work MATH 806 (Fall 2015) 1. Let X be a set (with no particular algebraic structure). A function d : X X R is called a metric on X (and then X is called a metric space) when d satisfies
More information10 Typical compact sets
Tel Aviv University, 2013 Measure and category 83 10 Typical compact sets 10a Covering, packing, volume, and dimension... 83 10b A space of compact sets.............. 85 10c Dimensions of typical sets.............
More informationSIMPLICIAL COMPLEXES WITH LATTICE STRUCTURES GEORGE M. BERGMAN
This is the final preprint version of a paper which appeared at Algebraic & Geometric Topology 17 (2017) 439-486. The published version is accessible to subscribers at http://dx.doi.org/10.2140/agt.2017.17.439
More informationReal Analysis Math 131AH Rudin, Chapter #1. Dominique Abdi
Real Analysis Math 3AH Rudin, Chapter # Dominique Abdi.. If r is rational (r 0) and x is irrational, prove that r + x and rx are irrational. Solution. Assume the contrary, that r+x and rx are rational.
More informationGeneral Convexity, General Concavity, Fixed Points, Geometry, and Min-Max Points
Mathematica Moravica Vol. 12-1 2008), 63 109 General Convexity, General Concavity, Fixed Points, Geometry, and Min-Max Points Milan R. Tasković Abstract. This paper continues the study of general convexity
More informationEconomics 204 Fall 2012 Problem Set 3 Suggested Solutions
Economics 204 Fall 2012 Problem Set 3 Suggested Solutions 1. Give an example of each of the following (and prove that your example indeed works): (a) A complete metric space that is bounded but not compact.
More informationConvex Sets. Prof. Dan A. Simovici UMB
Convex Sets Prof. Dan A. Simovici UMB 1 / 57 Outline 1 Closures, Interiors, Borders of Sets in R n 2 Segments and Convex Sets 3 Properties of the Class of Convex Sets 4 Closure and Interior Points of Convex
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 informationNAKAJIMA S PROBLEM: CONVEX BODIES OF CONSTANT WIDTH AND CONSTANT BRIGHTNESS
NAKAJIMA S PROBLEM: CONVEX BODIES OF CONSTANT WIDTH AND CONSTANT BRIGHTNESS RALPH HOWARD AND DANIEL HUG Dedicated to Rolf Schneider on the occasion of his 65th birthday ABSTRACT. For a convex body K R
More information(c) For each α R \ {0}, the mapping x αx is a homeomorphism of X.
A short account of topological vector spaces Normed spaces, and especially Banach spaces, are basic ambient spaces in Infinite- Dimensional Analysis. However, there are situations in which it is necessary
More informationRichard F. Bass Krzysztof Burdzy University of Washington
ON DOMAIN MONOTONICITY OF THE NEUMANN HEAT KERNEL Richard F. Bass Krzysztof Burdzy University of Washington Abstract. Some examples are given of convex domains for which domain monotonicity of the Neumann
More informationIntroduction to Dynamical Systems
Introduction to Dynamical Systems France-Kosovo Undergraduate Research School of Mathematics March 2017 This introduction to dynamical systems was a course given at the march 2017 edition of the France
More informationSome Background Material
Chapter 1 Some Background Material In the first chapter, we present a quick review of elementary - but important - material as a way of dipping our toes in the water. This chapter also introduces important
More information3 COUNTABILITY AND CONNECTEDNESS AXIOMS
3 COUNTABILITY AND CONNECTEDNESS AXIOMS Definition 3.1 Let X be a topological space. A subset D of X is dense in X iff D = X. X is separable iff it contains a countable dense subset. X satisfies the first
More informationMath 341: Convex Geometry. Xi Chen
Math 341: Convex Geometry Xi Chen 479 Central Academic Building, University of Alberta, Edmonton, Alberta T6G 2G1, CANADA E-mail address: xichen@math.ualberta.ca CHAPTER 1 Basics 1. Euclidean Geometry
More informationDefinition 2.1. A metric (or distance function) defined on a non-empty set X is a function d: X X R that satisfies: For all x, y, and z in X :
MATH 337 Metric Spaces Dr. Neal, WKU Let X be a non-empty set. The elements of X shall be called points. We shall define the general means of determining the distance between two points. Throughout we
More informationPICARD S THEOREM STEFAN FRIEDL
PICARD S THEOREM STEFAN FRIEDL Abstract. We give a summary for the proof of Picard s Theorem. The proof is for the most part an excerpt of [F]. 1. Introduction Definition. Let U C be an open subset. A
More informationPROBLEMS. (b) (Polarization Identity) Show that in any inner product space
1 Professor Carl Cowen Math 54600 Fall 09 PROBLEMS 1. (Geometry in Inner Product Spaces) (a) (Parallelogram Law) Show that in any inner product space x + y 2 + x y 2 = 2( x 2 + y 2 ). (b) (Polarization
More informationSCALE INVARIANT FOURIER RESTRICTION TO A HYPERBOLIC SURFACE
SCALE INVARIANT FOURIER RESTRICTION TO A HYPERBOLIC SURFACE BETSY STOVALL Abstract. This result sharpens the bilinear to linear deduction of Lee and Vargas for extension estimates on the hyperbolic paraboloid
More informationDiscrete Geometry. Problem 1. Austin Mohr. April 26, 2012
Discrete Geometry Austin Mohr April 26, 2012 Problem 1 Theorem 1 (Linear Programming Duality). Suppose x, y, b, c R n and A R n n, Ax b, x 0, A T y c, and y 0. If x maximizes c T x and y minimizes b T
More informationCentre for Mathematics and Its Applications The Australian National University Canberra, ACT 0200 Australia. 1. Introduction
ON LOCALLY CONVEX HYPERSURFACES WITH BOUNDARY Neil S. Trudinger Xu-Jia Wang Centre for Mathematics and Its Applications The Australian National University Canberra, ACT 0200 Australia Abstract. In this
More informationIn English, this means that if we travel on a straight line between any two points in C, then we never leave C.
Convex sets In this section, we will be introduced to some of the mathematical fundamentals of convex sets. In order to motivate some of the definitions, we will look at the closest point problem from
More informationMath General Topology Fall 2012 Homework 8 Solutions
Math 535 - General Topology Fall 2012 Homework 8 Solutions Problem 1. (Willard Exercise 19B.1) Show that the one-point compactification of R n is homeomorphic to the n-dimensional sphere S n. Note that
More informationBest approximations in normed vector spaces
Best approximations in normed vector spaces Mike de Vries 5699703 a thesis submitted to the Department of Mathematics at Utrecht University in partial fulfillment of the requirements for the degree of
More informationFunctional Analysis I
Functional Analysis I Course Notes by Stefan Richter Transcribed and Annotated by Gregory Zitelli Polar Decomposition Definition. An operator W B(H) is called a partial isometry if W x = X for all x (ker
More informationSome Properties of Convex Hulls of Integer Points Contained in General Convex Sets
Some Properties of Convex Hulls of Integer Points Contained in General Convex Sets Santanu S. Dey and Diego A. Morán R. H. Milton Stewart School of Industrial and Systems Engineering, Georgia Institute
More informationECARES Université Libre de Bruxelles MATH CAMP Basic Topology
ECARES Université Libre de Bruxelles MATH CAMP 03 Basic Topology Marjorie Gassner Contents: - Subsets, Cartesian products, de Morgan laws - Ordered sets, bounds, supremum, infimum - Functions, image, preimage,
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 informationTopics in Stochastic Geometry. Lecture 4 The Boolean model
Institut für Stochastik Karlsruher Institut für Technologie Topics in Stochastic Geometry Lecture 4 The Boolean model Lectures presented at the Department of Mathematical Sciences University of Bath May
More informationIntroduction and Preliminaries
Chapter 1 Introduction and Preliminaries This chapter serves two purposes. The first purpose is to prepare the readers for the more systematic development in later chapters of methods of real analysis
More informationarxiv: v1 [math.fa] 14 Jul 2018
Construction of Regular Non-Atomic arxiv:180705437v1 [mathfa] 14 Jul 2018 Strictly-Positive Measures in Second-Countable Locally Compact Non-Atomic Hausdorff Spaces Abstract Jason Bentley Department of
More informationChapter 2 Convex Analysis
Chapter 2 Convex Analysis The theory of nonsmooth analysis is based on convex analysis. Thus, we start this chapter by giving basic concepts and results of convexity (for further readings see also [202,
More informationQuasi-conformal maps and Beltrami equation
Chapter 7 Quasi-conformal maps and Beltrami equation 7. Linear distortion Assume that f(x + iy) =u(x + iy)+iv(x + iy) be a (real) linear map from C C that is orientation preserving. Let z = x + iy and
More informationThe Minimal Element Theorem
The Minimal Element Theorem The CMC Dynamics Theorem deals with describing all of the periodic or repeated geometric behavior of a properly embedded CMC surface with bounded second fundamental form in
More informationFrom now on, we will represent a metric space with (X, d). Here are some examples: i=1 (x i y i ) p ) 1 p, p 1.
Chapter 1 Metric spaces 1.1 Metric and convergence We will begin with some basic concepts. Definition 1.1. (Metric space) Metric space is a set X, with a metric satisfying: 1. d(x, y) 0, d(x, y) = 0 x
More informationAnalysis III. Exam 1
Analysis III Math 414 Spring 27 Professor Ben Richert Exam 1 Solutions Problem 1 Let X be the set of all continuous real valued functions on [, 1], and let ρ : X X R be the function ρ(f, g) = sup f g (1)
More informationLECTURE 10: THE ATIYAH-GUILLEMIN-STERNBERG CONVEXITY THEOREM
LECTURE 10: THE ATIYAH-GUILLEMIN-STERNBERG CONVEXITY THEOREM Contents 1. The Atiyah-Guillemin-Sternberg Convexity Theorem 1 2. Proof of the Atiyah-Guillemin-Sternberg Convexity theorem 3 3. Morse theory
More informationOn John type ellipsoids
On John type ellipsoids B. Klartag Tel Aviv University Abstract Given an arbitrary convex symmetric body K R n, we construct a natural and non-trivial continuous map u K which associates ellipsoids to
More informationMATH 426, TOPOLOGY. p 1.
MATH 426, TOPOLOGY THE p-norms In this document we assume an extended real line, where is an element greater than all real numbers; the interval notation [1, ] will be used to mean [1, ) { }. 1. THE p
More informationIntroduction to Geometric Measure Theory
Introduction to Geometric easure Theory Leon Simon 1 Leon Simon 2014 1 The research described here was partially supported by NSF grants DS-9504456 & DS 9207704 at Stanford University Contents 1 Preliminary
More informationBehaviour of Lipschitz functions on negligible sets. Non-differentiability in R. Outline
Behaviour of Lipschitz functions on negligible sets G. Alberti 1 M. Csörnyei 2 D. Preiss 3 1 Università di Pisa 2 University College London 3 University of Warwick Lars Ahlfors Centennial Celebration Helsinki,
More information