Mathematical Morphology
|
|
- Allison Harris
- 5 years ago
- Views:
Transcription
1 Mathematical Morphology Erosions and Dilations Luc Brun (d après le cours de M. Coster) 25 janvier / 61
2 Plan (1/2) Structuring element Definition, Example, Transpose Set erosion and dilatation Hit Miss Transformation Erosion Example of Erosion Bi colored transformation Erosion and Minkowski s substraction Dilatation Dilatation : Examples Dilatation and Minkowski s addition Properties of set erosion and dilatation Duality, Extensiveness Growth Composition Union, Intersection Composition Above continuity of the erosion Distance computations Distance of a point to a set Distance and slices Distance by erosion : Algorithm Examples External Distance 2 / 61
3 Plan (2/2) Erosion and dilatation of functions Type of structuring element Example of structuring element Erosion of a function Erosion with a volumic structuring element Examples of erosion Function dilatation Dilatation with a volumic structuring element Example of dilatation Morphological Residues Morphological Gradients Morphological Gradients between sets Functional internal Gradient Functional external Gradient Functional symmetric Gradient Morphological Laplacian Morphological Laplacian : Example 3 / 61
4 Basic idea of mathematical morphology Recall : The basic idea of mathematical morphology is to compare the set to be analysed with a set with a known geometry called structuring element. 4 / 61
5 Structuring Element : Definition A struturing element Bis a set with the following characteristics : It has a known geometry A size λ, This element is located by its origin o. The origin o usually belongs to the structuring element but this is not mandatory. Examples : Square Circle Segment Pair of points 5 / 61
6 Transpose of a structuring element Definition : The transpose of a struturing element B (denoted B or B) is the structuring element mirrored in the origin o. 6 / 61
7 Set Erosion and Dilatation Struncturing element Définition, Example, Transpose colorred Set erosions and dilatations Hit Miss Transformation Erosion Example of Erosion Bi colored transformation Erosion and Minkowski s substraction Dilatation Dilatation : Examples Dilatation and Minkowski s addition Properties of set erosion and dilatation Duality, Extensiveness Growth Composition Union, Intersection Composition Above continuity of the erosion Distance computations Distance of a point to a set Distance and slices Distance by erosion : Algorithm Examples External Distance 7 / 61
8 Binary transform A binary transformation of X by B in E,is defined by moving B on the whole set of points x E. For each position, we ask a question relative to the union, the intersection or the inclusion of B with X. The set of points corresponding to a positive answer defines the transformed image. Simplest binary transformations are : The erosion which is a transformation relative to the inclusion. The dilation which is relative to the intersection. It exists more complex binary transformations like the hit or miss using two structuring elements. 8 / 61
9 Erosion Definition : The structuring element B, located by its origin is moved so as to occupy successively all positions of the space E. For each position we wonder does B is completely included in X? The set of positive answers provide the eroded set. E B (X ) = {x E, B x X } 9 / 61
10 Erosion : Example (1) B = (radius 3) X X ( + ) et E B (X )( ) E B (X ) Qualitative properties The size of objects decreases An object with holes or concavities may split into several connected components Small objects and details disappear 10 / 61
11 Erosion : Example (2) B = (radius 5) X X ( + ) et E B (X )( ) E B (X ) 11 / 61
12 Erosion with structuring elements of increasing size X E 5B (X ) E 10B (X ) E 15B (X ) 12 / 61
13 Erosion and structuring elements Quid of E B (X )? B Erosion with different structuring elements 13 / 61
14 Hit-and-Miss transformation The structuring element is composed of two subsets corresponding to two labels : B = B 0 B 1. We say that x belongs to the Hit and Miss transform of X by B iff : B 0 x C E (X ) and B 1 x X An Hit and Miss transform may be written as the intersection of two erosions on X and C E (X ). η B (X ) = η B 0,B 1(X ) = E B 1(X ) E B 2(C E (X )) 14 / 61
15 Illustration B = E B1 (X ) E B2 (C E (X )) η B (X ) 15 / 61
16 Examples of application Corner detection bottom left bottom right top right top left 16 / 61
17 Erosion and Minkowski s subtraction Set erosion is equivalent to Minkowski subtraction by the transposed element E B (X ) = X B = b B X b Demonstration : Let z b B X b...(to do) 17 / 61
18 Set dilatation Dilatation is a binary transformation based on the intersection. Definition : The structuring element B, located by its origin is moved on all positions of the space E. For each position we check does B intersects X? The set of positive answers forms the dilated set. δ B (X ) = {x E, B x X } reponse negative reponse positive X 18 / 61
19 Dilatation : Example (1) B = (radius 3) X δ B (X )( + ) etx ( ) δ B (X ) Qualitative properties The size of objects increases Holes and concavities may be filled Close objects may become connected Small details disappear 19 / 61
20 Dilatation : Example (2) B = (radius 5) X δ B (X )( + ) etx ( ) δ B (X ) 20 / 61
21 Dilatation with structuring elements of growing size B = X δ 5B (X ) δ 10B (X ) δ 15B (X ) 21 / 61
22 Dilatation and Minkowski s addition The dilatation is equivalent to the set addition by the transposed element. δ B (X ) = X B = b B X b Demonstration : Let z b B X b...(to do...) 22 / 61
23 Set erosion and dilatation s properties Structuring element p. 5 Definition, Example, Transpose Set Erosions and dilatations Binary transformation Erosion Erosion : examples Hit and Miss transformation Erosion and Minkowski s subtraction Dilatation Dilatation : Examples Dilatation and Minkowski s addition Properties of the set erosion and dilatation Duality, Extensibility Growth, Composition Union, Intersection Composition above-continuity of erosion Distance computations Distance of a point to a set Distance and slices Distance by erosion : Algorithm Examples External Distance 23 / 61
24 Duality Erosion and Dilatation are related. We obtain the same result by eroding X or by dilating its complementary and taking the complementary of the resulting set. We say that Erosion and Dilatation are two dual operations according to the complementation. { EB (X )) = C E (δ B (C E (X ))) δ B (X )) = C E (E B (C E (X ))) X δ 5B (X ) E 5B (C E (X )) 24 / 61
25 Extensibility Dilatation is an extensive transformation while erosion is counter-extensive. E B (X ) X δ B (X ) EB (X ) = X = + δ B (X ) = / 61
26 Growth Dilatation and erosion are increasing operators { X Y δb (X ) δ B (Y ) X Y E B (X ) E B (Y ) Erosion is decreasing according to the size of the structuring element. B B E B (X ) E B (X ) δ B ( ) δ B ( ) 26 / 61
27 Composition Dilatation with a structuring element of size n is equal to n dilatations with a struturing element of size 1. (idem for erosion) δ nb (X ) = δ 1B δ }{{ 1B (X ) } nfois nb scaling of B by a factor n. Useful for an hardware implementation when the size of the struturing element is bounded by hardware constraints : A larger structuring element may be obtained by using a cascade of operators. 27 / 61
28 Union, Intersection Dilatation commutes with union : δ B (X Y ) = δ B (X ) δ B (Y ) Erosion commutes with intersection : Moreover : E B (X Y ) = E B (X ) E B (Y ) { δb1 B 2 (X ) = δ B1 (X ) δ B2 (X ) E B1 B 2 (X ) = δ B1 (X ) E B2 (X ) But : δ B1 B 2 (X ) δ B1 (X ) δ B2 (X ) E B1 B 2 (X ) E B1 (X ) E B2 (X ) E B (X Y ) E B (X ) E B (X ) 28 / 61
29 Composition Let B 1 and B 2 be two symmetric structuring elements according to their origins. We have : { δδb1 (B 2 ) (X ) = δ B 1 (δ B2 (X )) E EB1 (B 2 ) (X ) = E B 1 (E B2 (X )) Demonstration (for dilatation) : δ δb1 (B 2 ) (X ) = X (B 1 B 2 ) = X (B 1 B 2 ) = X (B 1 B 2 ) = (X B 1 ) B 2 : key point = (X B 1 ) B 2 = δ B1 (δ B2 (X )) 29 / 61
30 Composition : Illustration B 1 : B 2 : δ B1 (B 2 ) : We pass from a O(n 2 ) complexity to a O(2n) one. 30 / 61
31 Continuity Erosion is semi-continuous superiorly B Demonstration : (to do) lim E B(X n ) E B (lim n + X n ) n + Dilatation is a continuous operator. 31 / 61
32 Superior continuity of erosion : Example Let (X n ) n IN be a sequence of 2 squares separated by a distance of 1 n. B = X n X = lim X n n + lim n + E B (X n ) E B (X ) 32 / 61
33 Summary Dilatation removes small holes, small isthmus and makes objects bigger. Erosion removes small objects, small isthmus, and shrinks objects. Dilatation and erosion are not topological transformations. If X is connected δ B (X ) is connected Dilatation and erosion are non reversible operations Dilatation and erosion are dual but not inverse operations : dilatation X δ B (X ) complémentation C E (X ) E B (C E (X )) 33 / 61
34 Calculs de Distances Structuring element p. 5 Definition, Example, Transpose Set Erosions and dilatations Binary transformation Erosion Erosion : examples Hit and Miss transformation Erosion and Minkowski s subtraction Dilatation Dilatation : Examples Dilatation and Minkowski s addition Properties of the set erosion and dilatation Duality, Extensibility Growth, Composition Union, Intersection Composition above-continuity of erosion Distance computations Distance of a point to a set Distance and slices Distance by erosion : Algorithm Examples External Distance 34 / 61
35 Distance of a point to the boundary of its set Let x X d(x, X ) = d(x, C E (X )) = inf d(x, y) = inf d(x, y) y C E (X ) y X X x d(x, X ) 35 / 61
36 Distance and slices : dist=0 : dist=1 : dist=2 : dist=3 : dist= / 61
37 Distance by erosion : Algorithm bin1=initial image Initialization of an empty image grey0 copy of bin1 in grey0 (f (x) = 1 if x X, 0 otherwise) While bin1 not empty do bin1 E 1B (bin1) grey0 grey0 + bin1 End While grey0 = distance function / 61
38 distance Functions : Examples Shapes Erosion based distance Euclidean distance Distance by erosion is only an approximation of the Euclidean distance. 38 / 61
39 External distance Distance to a set obtained by dilatation 39 / 61
40 Extension to the distance between two sets d(x, Y ) = inf d(x, y) (x,y) X Y bin 0 = binary image containing X extraction of the connected component X i which is copied into the image bin 1 bin 2 = bin 0 /bin 1 (we put in bin 2 all others connected components) Creation of an empty image bin3 d = 0 (initialisation of the value of the distance between X i and ( X /X i ) While bin 3 is empty do bin1 δ 1B (bin 1 ) d = d + 1 bin 3 = bin 1 bin 2 End while 40 / 61
41 Erosion and dilatation of functions Structuring element Set erosion and dilatation Properties of set erosion and dilatation Distance computations Erosion and dilatation of functions Type of structuring element Example of structuring element Erosion of a function Erosion with a volumic structuring element Examples of erosion Function dilatation Dilatation with a volumic structuring element Example of dilatation Morphological Residues Morphological Gradients Morphological Gradients between sets Functional internal Gradient Functional external Gradient Functional symmetric Gradient Morphological Laplacian Morphological Laplacian : Example 41 / 61
42 Erosion and dilatation of functions Pb : Erosion and dilatation have been defined only in the framework of set theory. What to do with f : IR 2 IR? Idea : Consider a function as a set Graph of a function : Shadow of a function : G(f (x)) = {(x, t) t = f (x)} U(f (x)) = {(x, t) t f (x)} G(f(x)) U(f(x)) 42 / 61
43 Type of structuring element U(f (x)) is composed of couples (x, t) with t = f (x). The structuring element is composed of couples (x, b(x)) with x belonging to a bounded support. B = {(x, t) x B and t b(x)} b fulfils the following conditions : { x B b(x) ± b(x) = x B b(x) = We distinguish the flat structuring element defined by : b(x) = { x B b(x) = 0 x B b(x) = 43 / 61
44 Examples of structuring elements G(f(x)) U(f(x)) Non flat structuring elements are called volumic structuring elements. 44 / 61
45 Erosion of a function The erosion of a function is defined as the set-erosion of its shadow. E B (U(f (x))) = {(x, t) B (x,t) U(f (x))} Question : Given x what is the maximal value of t such that B (x,t) U(f (x))? Answer : Using a flat structuring element : the smallest value of f on its support B. E B (f )(x) = inf f (x u) u B U(f(x)) 45 / 61
46 Erosion with a volumic structuring element Heights b(u) must be in U(f (x)) E B (f )(x) = inf f (x u) b(u) u B f (x u) f (x u) b(u) inf f (x u) b( b(u) b(u ) B 46 / 61
47 Example of erosion (1) Original Eroded (disc of radius 3) The eroded image is darker, its pics shrink or disapear. 47 / 61
48 Examples of erosion (2) I Erosion with a flat structuring element having a circular support Original E2B (I ) E3B (I ) E5B (I ) E7B (I ) E9B (I ) 48 / 61
49 Dilatation of a function Defined the same way using the function s shadow δ B (U(f (x))) = {(x, t) B (x,t) U(f (x)) } Question : given x what is the maximal value of t such that B (x,t) U(f (x))? Answer : In the case of a flat structuring element : The maximal value of f on its support B : δ B (f )(x) = sup u B f (x u) 49 / 61
50 Dilatation with a volumic structuring element De façon symétrique à l érosion : f (x u) + b(u) δ B (f )(x) = sup u B f (x u) + b(u) x sup f (x u) + b(u) f (x u) b(u) b(u ) B 50 / 61
51 Example of dilatation (1) Original dilated (disc of radius 3) The dilated image is more bright. Narrow valleys disappear. 51 / 61
52 Example of dilatation (2) I Dilatation with a circular, flat structuring element Original δ2b (I ) δ3b (I ) δ5b (I ) δ7b (I ) δ9b (I ) 52 / 61
53 Morphological Residues Within set morphology a residue corresponds to : The symmetric difference between the initial set X and its transformation ψ(x ). The symmetric difference between two transformations ψ1 (X ) et ψ 2 (X ) of a set. Within functional morphology : Arithmetic difference between f (x) and ψ(f (x)), Arithmetic difference between ψ1 (f (x)) and ψ 2 (f (x)). When transformations ψ, ψ i are defined as erosion or dilatation we speak of morphological gradients. X E B (X ) =, X = + X E B (X ) 53 / 61
54 Morphological gradients Structuring element Set erosion and dilatation Properties of set erosion and dilatation Distance computations Erosion and dilatation of functions Type of structuring element Example of structuring element Erosion of a function Erosion with a volumic structuring element Examples of erosion Function dilatation Dilatation with a volumic structuring element Example of dilatation Morphological Residues Morphological Gradients Morphological Gradients between sets Functional internal Gradient Functional external Gradient Functional symmetric Gradient Morphological Laplacian Morphological Laplacian : Example 54 / 61
55 Morphological Gradients Three types of gradients : The symmetric morphological gradient (from Beucher) : B (X ) = δ B (X ) E B (X ) and B (f (x)) = δ B (f (x)) E B (f (x)) Internal (or by erosion) morphological gradient : B (X ) = X E B(X ) and B (f (x)) = f (x) E B(f (x)) External (or by dilatation) morphological gradient : + B (X ) = δ B(X ) X and + B (f (x)) = δ B(f (x)) f (x) 55 / 61
56 Morphological set gradients Sets : E B (X ) = X = + δb (X ) = + + Gradients : B (X )= + + B (X )= (X )= B 56 / 61
57 Internal morphological gradient I f (x) : I EB (f (x)) : I B (f (x)) : I EB (I ) B (I ) 57 / 61
58 External morphological functional gradient I f (x) : I δb (f (x)) : I + B (f (x)) : I B (f (x)) : I δb (I ) B (I ) 58 / 61
59 Symmetric morphological functional gradient I f (x) : I δb (f (x)) : I EB (f (x)) : I B (f (x)) : I B (f (x)) : I + B (f (x)) : I δb (I ) EB (I ) B (I ) 59 / 61
60 Morphological Laplacian The morphological Laplacian is defined as the residue of the external and internal gradients. f (x) : L B (f ) = + B (f ) B (f ) δb (f (x)) : E B (f (x)) : L B (f (x)) : B (f (x)) : + (f (x)) : 60 / 61
61 Morphological Laplacian : Example I B (I ) + B (I ) LB (I ) 61 / 61
Part I : Bases. Part I : Bases
Indian Statistical Institute System Science and Informatics Unit Bengalore, India Bengalore, 19-22 October 2010 ESIEE University of Paris-Est France Part I : Bases - ordering and lattices - erosion and
More informationMorphological image processing
INF 4300 Digital Image Analysis Morphological image processing Fritz Albregtsen 09.11.2017 1 Today Gonzalez and Woods, Chapter 9 Except sections 9.5.7 (skeletons), 9.5.8 (pruning), 9.5.9 (reconstruction)
More informationMathematical Morphology and Distance Transforms
Mathematical Morphology and Distance Transforms Vladimir Curic Centre for Image Analysis Swedish University of Agricultural Sciences Uppsala University About the teacher PhD student at CBA Background in
More informationChapter I : Basic Notions
Chapter I : Basic Notions - Image Processing - Lattices - Residues - Measurements J. Serra Ecole des Mines de Paris ( 2000 ) Course on Math. Morphology I. 1 Image Processing (I) => Image processing may
More informationMorphology Gonzalez and Woods, Chapter 9 Except sections 9.5.7, 9.5.8, and Repetition of binary dilatation, erosion, opening, closing
09.11.2011 Anne Solberg Morphology Gonzalez and Woods, Chapter 9 Except sections 9.5.7, 9.5.8, 9.5.9 and 9.6.4 Repetition of binary dilatation, erosion, opening, closing Binary region processing: connected
More informationMorphological Operations. GV12/3072 Image Processing.
Morphological Operations 1 Outline Basic concepts: Erode and dilate Open and close. Granulometry Hit and miss transform Thinning and thickening Skeletonization and the medial axis transform Introduction
More informationUsed to extract image components that are useful in the representation and description of region shape, such as
Used to extract image components that are useful in the representation and description of region shape, such as boundaries extraction skeletons convex hull morphological filtering thinning pruning Sets
More informationChapter VI. Set Connection and Numerical Functions
Chapter VI Set Connection and Numerical Functions Concepts : -> Extension to functions -> Connected operators -> Numerical Geodesy -> Leveling and self-duality Applications : -> Extrema analysis -> Contour
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 informationRelations on Hypergraphs
Relations on Hypergraphs John Stell School of Computing, University of Leeds RAMiCS 13 Cambridge, 17th September 2012 Relations on a Set Boolean algebra Converse R = R Complement R = R Composition & residuation
More informationPart II : Connection
Indian Statistical Institute System Science and Informatics Unit Bengalore, India Bengalore, 19-22 October 2010 ESIEE University of Paris-Est France Part II : Connection - Set case - Function case Jean
More informationDigital Signal Processing
1 PART 1: SUMMARY OF THEORY Digital Signal Processing Image Processing: Introduction to Morphological Processing 1 Part 1: Summary of Theory 1.1 Image (digital) 1.1.1 Concept and types An image I is a
More informationChapter VIII : Thinnings
Chapter VIII : Thinnings Hit-or-Miss Thinning thickening Homotopy Homotopy and Connectivity Homotopic Thinnings and Thickenings J. Serra Ecole des Mines de Paris ( 2000 ) Course on Math. Morphology VIII.
More informationChapter III: Opening, Closing
Chapter III: Opening, Closing Opening and Closing by adjunction Algebraic Opening and Closing Top-Hat Transformation Granulometry J. Serra Ecole des Mines de Paris ( 2000 ) Course on Math. Morphology III.
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 informationHomework 5. Solutions
Homework 5. Solutions 1. Let (X,T) be a topological space and let A,B be subsets of X. Show that the closure of their union is given by A B = A B. Since A B is a closed set that contains A B and A B 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 informationCS 4495 Computer Vision Binary images and Morphology
CS 4495 Computer Vision Binary images and Aaron Bobick School of Interactive Computing Administrivia PS6 should be working on it! Due Sunday Nov 24 th. Some issues with reading frames. Resolved? Exam:
More informationFuzzy Sets and Fuzzy Techniques. Sladoje. Introduction. Operations. Combinations. Aggregation Operations. An Application: Fuzzy Morphologies
Sets and Sets and Outline of Sets and Lecture 8 on Sets of 1 2 Centre for Image alysis Uppsala University 3 of February 15, 2007 4 5 Sets and Standard fuzzy operations Sets and Properties of the standard
More informationMathematical Morphology
Mathematical Morphology Isabelle Bloch http://www.tsi.enst.fr/ bloch Ecole Nationale Supérieure des Télécommunications - CNRS UMR 5141 LTCI Paris - France Mathematical Morphology p.1/84 A few references
More informationIntroduction to Real Analysis Alternative Chapter 1
Christopher Heil Introduction to Real Analysis Alternative Chapter 1 A Primer on Norms and Banach Spaces Last Updated: March 10, 2018 c 2018 by Christopher Heil Chapter 1 A Primer on Norms and Banach Spaces
More information(9) Morphological Image Processing (a) Basic set operations
(9) Morphological Image Processing - Morphology A branch of biology that deals with the form and structure of animals and plants - Mathematical morphology A tool to extract image components for representing
More informationNotes on Ordered Sets
Notes on Ordered Sets Mariusz Wodzicki September 10, 2013 1 Vocabulary 1.1 Definitions Definition 1.1 A binary relation on a set S is said to be a partial order if it is reflexive, x x, weakly antisymmetric,
More informationSolutions to Tutorial 7 (Week 8)
The University of Sydney School of Mathematics and Statistics Solutions to Tutorial 7 (Week 8) MATH2962: Real and Complex Analysis (Advanced) Semester 1, 2017 Web Page: http://www.maths.usyd.edu.au/u/ug/im/math2962/
More informationFoundation for Neutrosophic Mathematical Morphology
EMAN.M.EL-NAKEEB 1, H. ELGHAWALBY 2, A.A.SALAMA 3, S.A.EL-HAFEEZ 4 1,2 Port Said University, Faculty of Engineering, Physics and Engineering Mathematics Department, Egypt. E-mails: emanmarzouk1991@gmail.com,
More informationA LITTLE REAL ANALYSIS AND TOPOLOGY
A LITTLE REAL ANALYSIS AND TOPOLOGY 1. NOTATION Before we begin some notational definitions are useful. (1) Z = {, 3, 2, 1, 0, 1, 2, 3, }is the set of integers. (2) Q = { a b : aεz, bεz {0}} is the set
More informationMAS331: Metric Spaces Problems on Chapter 1
MAS331: Metric Spaces Problems on Chapter 1 1. In R 3, find d 1 ((3, 1, 4), (2, 7, 1)), d 2 ((3, 1, 4), (2, 7, 1)) and d ((3, 1, 4), (2, 7, 1)). 2. In R 4, show that d 1 ((4, 4, 4, 6), (0, 0, 0, 0)) =
More informationTopological properties of Z p and Q p and Euclidean models
Topological properties of Z p and Q p and Euclidean models Samuel Trautwein, Esther Röder, Giorgio Barozzi November 3, 20 Topology of Q p vs Topology of R Both R and Q p are normed fields and complete
More informationFractal Geometry Mathematical Foundations and Applications
Fractal Geometry Mathematical Foundations and Applications Third Edition by Kenneth Falconer Solutions to Exercises Acknowledgement: Grateful thanks are due to Gwyneth Stallard for providing solutions
More informationCHAPTER 2: CONVEX SETS AND CONCAVE FUNCTIONS. W. Erwin Diewert January 31, 2008.
1 ECONOMICS 594: LECTURE NOTES CHAPTER 2: CONVEX SETS AND CONCAVE FUNCTIONS W. Erwin Diewert January 31, 2008. 1. Introduction Many economic problems have the following structure: (i) a linear function
More informationBOOLEAN ALGEBRA INTRODUCTION SUBSETS
BOOLEAN ALGEBRA M. Ragheb 1/294/2018 INTRODUCTION Modern algebra is centered around the concept of an algebraic system: A, consisting of a set of elements: ai, i=1, 2,, which are combined by a set of operations
More informationA2 HW Imaginary Numbers
Name: A2 HW Imaginary Numbers Rewrite the following in terms of i and in simplest form: 1) 100 2) 289 3) 15 4) 4 81 5) 5 12 6) -8 72 Rewrite the following as a radical: 7) 12i 8) 20i Solve for x in simplest
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 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 information1/12/05: sec 3.1 and my article: How good is the Lebesgue measure?, Math. Intelligencer 11(2) (1989),
Real Analysis 2, Math 651, Spring 2005 April 26, 2005 1 Real Analysis 2, Math 651, Spring 2005 Krzysztof Chris Ciesielski 1/12/05: sec 3.1 and my article: How good is the Lebesgue measure?, Math. Intelligencer
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 information2MA105 Algebraic Structures I
2MA105 Algebraic Structures I Per-Anders Svensson http://homepage.lnu.se/staff/psvmsi/2ma105.html Lecture 12 Partially Ordered Sets Lattices Bounded Lattices Distributive Lattices Complemented Lattices
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 informationKUIPER S THEOREM ON CONFORMALLY FLAT MANIFOLDS
KUIPER S THEOREM ON CONFORMALLY FLAT MANIFOLDS RALPH HOWARD DEPARTMENT OF MATHEMATICS UNIVERSITY OF SOUTH CAROLINA COLUMBIA, S.C. 29208, USA HOWARD@MATH.SC.EDU 1. Introduction These are notes to that show
More informationThat is, there is an element
Section 3.1: Mathematical Induction Let N denote the set of natural numbers (positive integers). N = {1, 2, 3, 4, } Axiom: If S is a nonempty subset of N, then S has a least element. That is, there is
More informationChapter 1 The Real Numbers
Chapter 1 The Real Numbers In a beginning course in calculus, the emphasis is on introducing the techniques of the subject;i.e., differentiation and integration and their applications. An advanced calculus
More information3 Boolean Algebra 3.1 BOOLEAN ALGEBRA
3 Boolean Algebra 3.1 BOOLEAN ALGEBRA In 1854, George Boole introduced the following formalism which eventually became Boolean Algebra. Definition. An algebraic system consisting of a set B of elements
More informationR1: Sets A set is a collection of objects sets are written using set brackets each object in onset is called an element or member
Chapter R Review of basic concepts * R1: Sets A set is a collection of objects sets are written using set brackets each object in onset is called an element or member Ex: Write the set of counting numbers
More informationIntroduction. Chapter 1. Contents. EECS 600 Function Space Methods in System Theory Lecture Notes J. Fessler 1.1
Chapter 1 Introduction Contents Motivation........................................................ 1.2 Applications (of optimization).............................................. 1.2 Main principles.....................................................
More informationExtreme Abridgment of Boyd and Vandenberghe s Convex Optimization
Extreme Abridgment of Boyd and Vandenberghe s Convex Optimization Compiled by David Rosenberg Abstract Boyd and Vandenberghe s Convex Optimization book is very well-written and a pleasure to read. The
More informationThe Frequency Domain. Many slides borrowed from Steve Seitz
The Frequency Domain Many slides borrowed from Steve Seitz Somewhere in Cinque Terre, May 2005 15-463: Computational Photography Alexei Efros, CMU, Spring 2010 Salvador Dali Gala Contemplating the Mediterranean
More informationStructural and Multidisciplinary Optimization. P. Duysinx and P. Tossings
Structural and Multidisciplinary Optimization P. Duysinx and P. Tossings 2018-2019 CONTACTS Pierre Duysinx Institut de Mécanique et du Génie Civil (B52/3) Phone number: 04/366.91.94 Email: P.Duysinx@uliege.be
More informationREVIEW OF ESSENTIAL MATH 346 TOPICS
REVIEW OF ESSENTIAL MATH 346 TOPICS 1. AXIOMATIC STRUCTURE OF R Doğan Çömez The real number system is a complete ordered field, i.e., it is a set R which is endowed with addition and multiplication operations
More information18.175: Lecture 2 Extension theorems, random variables, distributions
18.175: Lecture 2 Extension theorems, random variables, distributions Scott Sheffield MIT Outline Extension theorems Characterizing measures on R d Random variables Outline Extension theorems Characterizing
More informationDigital Image Processing COSC 6380/4393
Digital Image Processing COSC 6380/4393 Lecture 7 Sept 11 th, 2018 Pranav Mantini Slides from Dr. Shishir K Shah and Frank (Qingzhong) Liu Today Review Binary Image Processing Opening and Closing Skeletonization
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 informationCSE 206A: Lattice Algorithms and Applications Winter The dual lattice. Instructor: Daniele Micciancio
CSE 206A: Lattice Algorithms and Applications Winter 2016 The dual lattice Instructor: Daniele Micciancio UCSD CSE 1 Dual Lattice and Dual Basis Definition 1 The dual of a lattice Λ is the set ˆΛ of all
More informationOptimization and Optimal Control in Banach Spaces
Optimization and Optimal Control in Banach Spaces Bernhard Schmitzer October 19, 2017 1 Convex non-smooth optimization with proximal operators Remark 1.1 (Motivation). Convex optimization: easier to solve,
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 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 informationSets and Motivation for Boolean algebra
SET THEORY Basic concepts Notations Subset Algebra of sets The power set Ordered pairs and Cartesian product Relations on sets Types of relations and their properties Relational matrix and the graph of
More informationINF-SUP CONDITION FOR OPERATOR EQUATIONS
INF-SUP CONDITION FOR OPERATOR EQUATIONS LONG CHEN We study the well-posedness of the operator equation (1) T u = f. where T is a linear and bounded operator between two linear vector spaces. We give equivalent
More informationCSE 206A: Lattice Algorithms and Applications Spring Minkowski s theorem. Instructor: Daniele Micciancio
CSE 206A: Lattice Algorithms and Applications Spring 2014 Minkowski s theorem Instructor: Daniele Micciancio UCSD CSE There are many important quantities associated to a lattice. Some of them, like the
More information3 Measurable Functions
3 Measurable Functions Notation A pair (X, F) where F is a σ-field of subsets of X is a measurable space. If µ is a measure on F then (X, F, µ) is a measure space. If µ(x) < then (X, F, µ) is a probability
More informationAPPLICATIONS OF DIFFERENTIABILITY IN R n.
APPLICATIONS OF DIFFERENTIABILITY IN R n. MATANIA BEN-ARTZI April 2015 Functions here are defined on a subset T R n and take values in R m, where m can be smaller, equal or greater than n. The (open) ball
More informationMath 201 Topology I. Lecture notes of Prof. Hicham Gebran
Math 201 Topology I Lecture notes of Prof. Hicham Gebran hicham.gebran@yahoo.com Lebanese University, Fanar, Fall 2015-2016 http://fs2.ul.edu.lb/math http://hichamgebran.wordpress.com 2 Introduction and
More informationLecture 8 Plus properties, merit functions and gap functions. September 28, 2008
Lecture 8 Plus properties, merit functions and gap functions September 28, 2008 Outline Plus-properties and F-uniqueness Equation reformulations of VI/CPs Merit functions Gap merit functions FP-I book:
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 informationPrague, II.2. Integrability (existence of the Riemann integral) sufficient conditions... 37
Mathematics II Prague, 1998 ontents Introduction.................................................................... 3 I. Functions of Several Real Variables (Stanislav Kračmar) II. I.1. Euclidean space
More informationThe p-adic numbers. Given a prime p, we define a valuation on the rationals by
The p-adic numbers There are quite a few reasons to be interested in the p-adic numbers Q p. They are useful for solving diophantine equations, using tools like Hensel s lemma and the Hasse principle,
More informationINTRODUCTION TO TOPOLOGY, MATH 141, PRACTICE PROBLEMS
INTRODUCTION TO TOPOLOGY, MATH 141, PRACTICE PROBLEMS Problem 1. Give an example of a non-metrizable topological space. Explain. Problem 2. Introduce a topology on N by declaring that open sets are, N,
More informationExtrema of Functions of Several Variables
Extrema of Functions of Several Variables MATH 311, Calculus III J. Robert Buchanan Department of Mathematics Fall 2011 Background (1 of 3) In single-variable calculus there are three important results
More informationPart III. 10 Topological Space Basics. Topological Spaces
Part III 10 Topological Space Basics Topological Spaces Using the metric space results above as motivation we will axiomatize the notion of being an open set to more general settings. Definition 10.1.
More informationDiffraction by Edges. András Vasy (with Richard Melrose and Jared Wunsch)
Diffraction by Edges András Vasy (with Richard Melrose and Jared Wunsch) Cambridge, July 2006 Consider the wave equation Pu = 0, Pu = D 2 t u gu, on manifolds with corners M; here g 0 the Laplacian, D
More informationarxiv: v1 [math.ds] 17 Mar 2010
REAL PROJECTIVE ITERATED FUNCTION SYSTEMS MICHAEL F. BARNSLEY, ANDREW VINCE, AND DAVID C. WILSON arxiv:003.3473v [math.ds] 7 Mar 200 Abstract. This paper contains four main results associated with an attractor
More informationDiscrete Mathematics. (c) Marcin Sydow. Sets. Set operations. Sets. Set identities Number sets. Pair. Power Set. Venn diagrams
Contents : basic definitions and notation A set is an unordered collection of its elements (or members). The set is fully specified by its elements. Usually capital letters are used to name sets and lowercase
More informationMORPHOLOGICAL IMAGE ANALYSIS III
MORPHOLOGICAL IMAGE ANALYSIS III Secondary inary Morphological Operators A set operator Ψ( ) which is: Increasing; i.e., Ψ( ) Ψ( ) Anti-extensive; i.e., Ψ( ) 1 2 1 2 Idempotent; i.e., ΨΨ ( ( )) = Ψ( )
More informationLectures on Geometry
January 4, 2001 Lectures on Geometry Christer O. Kiselman Contents: 1. Introduction 2. Closure operators and Galois correspondences 3. Convex sets and functions 4. Infimal convolution 5. Convex duality:
More informationLogic and Boolean algebra
Computer Mathematics Week 7 Logic and Boolean algebra College of Information Science and Engineering Ritsumeikan University last week coding theory channel coding information theory concept Hamming distance
More informationDuality and Automata Theory
Duality and Automata Theory Mai Gehrke Université Paris VII and CNRS Joint work with Serge Grigorieff and Jean-Éric Pin Elements of automata theory A finite automaton a 1 2 b b a 3 a, b The states are
More informationGreen s Theorem in the Plane
hapter 6 Green s Theorem in the Plane Recall the following special case of a general fact proved in the previous chapter. Let be a piecewise 1 plane curve, i.e., a curve in R defined by a piecewise 1 -function
More informationOn minimal models of the Region Connection Calculus
Fundamenta Informaticae 69 (2006) 1 20 1 IOS Press On minimal models of the Region Connection Calculus Lirong Xia State Key Laboratory of Intelligent Technology and Systems Department of Computer Science
More informationSmooth Structure. lies on the boundary, then it is determined up to the identifications it 1 2
132 3. Smooth Structure lies on the boundary, then it is determined up to the identifications 1 2 + it 1 2 + it on the vertical boundary and z 1/z on the circular part. Notice that since z z + 1 and z
More informationConstrained Optimization and Lagrangian Duality
CIS 520: Machine Learning Oct 02, 2017 Constrained Optimization and Lagrangian Duality Lecturer: Shivani Agarwal Disclaimer: These notes are designed to be a supplement to the lecture. They may or may
More informationRudin Real and Complex Analysis - Harmonic Functions
Rudin Real and Complex Analysis - Harmonic Functions Aaron Lou December 2018 1 Notes 1.1 The Cauchy-Riemann Equations 11.1: The Operators and Suppose f is a complex function defined in a plane open set
More informationTopological Logics over Euclidean Spaces
Topological Logics over Euclidean Spaces Roman Kontchakov Department of Computer Science and Inf Systems, Birkbeck College, London http://wwwdcsbbkacuk/~roman joint work with Ian Pratt-Hartmann and Michael
More informationIntroduction to Real Analysis
Introduction to Real Analysis Joshua Wilde, revised by Isabel Tecu, Takeshi Suzuki and María José Boccardi August 13, 2013 1 Sets Sets are the basic objects of mathematics. In fact, they are so basic that
More informationResearch Methods in Mathematics Extended assignment 1
Research Methods in Mathematics Extended assignment 1 T. PERUTZ Due: at the beginning of class, October 5. Choose one of the following assignments: (1) The circle problem (2) Complete ordered fields 2
More informationReal Analysis. Joe Patten August 12, 2018
Real Analysis Joe Patten August 12, 2018 1 Relations and Functions 1.1 Relations A (binary) relation, R, from set A to set B is a subset of A B. Since R is a subset of A B, it is a set of ordered pairs.
More informationJUHA KINNUNEN. Harmonic Analysis
JUHA KINNUNEN Harmonic Analysis Department of Mathematics and Systems Analysis, Aalto University 27 Contents Calderón-Zygmund decomposition. Dyadic subcubes of a cube.........................2 Dyadic cubes
More informationLecture 3: Lagrangian duality and algorithms for the Lagrangian dual problem
Lecture 3: Lagrangian duality and algorithms for the Lagrangian dual problem Michael Patriksson 0-0 The Relaxation Theorem 1 Problem: find f := infimum f(x), x subject to x S, (1a) (1b) where f : R n R
More informationNATIONAL BOARD FOR HIGHER MATHEMATICS. Research Scholarships Screening Test. Saturday, January 20, Time Allowed: 150 Minutes Maximum Marks: 40
NATIONAL BOARD FOR HIGHER MATHEMATICS Research Scholarships Screening Test Saturday, January 2, 218 Time Allowed: 15 Minutes Maximum Marks: 4 Please read, carefully, the instructions that follow. INSTRUCTIONS
More informationarxiv: v2 [math.gm] 23 Feb 2017
arxiv:1603.08548v2 [math.gm] 23 Feb 2017 Tricomplex dynamical systems generated by polynomials of even degree Pierre-Olivier Parisé 1, Thomas Ransford 2, and Dominic Rochon 1 1 Département de mathématiques
More informationGreen s Theorem in the Plane
hapter 6 Green s Theorem in the Plane Introduction Recall the following special case of a general fact proved in the previous chapter. Let be a piecewise 1 plane curve, i.e., a curve in R defined by a
More informationMath 115 Second Midterm March 25, 2010
Math 115 Second Midterm March 25, 2010 Name: EXAM SOLUTIONS Instructor: Section: 1. Do not open this exam until you are told to do so. 2. This exam has 9 pages including this cover. There are 8 problems.
More informationWe will begin our study of topology from a set-theoretic point of view. As the subject
p. 1 Math 490-01 Notes 5 Topology We will begin our study of topology from a set-theoretic point of view. As the subject expands, we will encounter various notions from analysis such as compactness, continuity,
More informationThe Space of Maximal Ideals in an Almost Distributive Lattice
International Mathematical Forum, Vol. 6, 2011, no. 28, 1387-1396 The Space of Maximal Ideals in an Almost Distributive Lattice Y. S. Pawar Department of Mathematics Solapur University Solapur-413255,
More informationLecture 4 Lebesgue spaces and inequalities
Lecture 4: Lebesgue spaces and inequalities 1 of 10 Course: Theory of Probability I Term: Fall 2013 Instructor: Gordan Zitkovic Lecture 4 Lebesgue spaces and inequalities Lebesgue spaces We have seen how
More informationLongest paths in circular arc graphs. Paul N. Balister Department of Mathematical Sciences, University of Memphis
Longest paths in circular arc graphs (Final version: February, 2003) Paul N Balister Department of Mathematical Sciences, University of Memphis (balistep@mscimemphisedu) Ervin Győri Rényi Institute of
More informationProblem 1: Compactness (12 points, 2 points each)
Final exam Selected Solutions APPM 5440 Fall 2014 Applied Analysis Date: Tuesday, Dec. 15 2014, 10:30 AM to 1 PM You may assume all vector spaces are over the real field unless otherwise specified. Your
More information1. (B) The union of sets A and B is the set whose elements belong to at least one of A
1. (B) The union of sets A and B is the set whose elements belong to at least one of A or B. Thus, A B = { 2, 1, 0, 1, 2, 5}. 2. (A) The intersection of sets A and B is the set whose elements belong to
More informationAn introduction to Birkhoff normal form
An introduction to Birkhoff normal form Dario Bambusi Dipartimento di Matematica, Universitá di Milano via Saldini 50, 0133 Milano (Italy) 19.11.14 1 Introduction The aim of this note is to present an
More informationBoolean Algebras, Boolean Rings and Stone s Representation Theorem
Boolean Algebras, Boolean Rings and Stone s Representation Theorem Hongtaek Jung December 27, 2017 Abstract This is a part of a supplementary note for a Logic and Set Theory course. The main goal is to
More informationAnswer all the questions
SECTION A ( 38 marks) Answer all the questions 1 The following information refer to the set A and set B. Set A = { -3, -2, 2, 3 } Set B = { 4, 9 } The relations between set A and set B is defined by the
More informationBoolean Algebras. Chapter 2
Chapter 2 Boolean Algebras Let X be an arbitrary set and let P(X) be the class of all subsets of X (the power set of X). Three natural set-theoretic operations on P(X) are the binary operations of union
More information