Mathematical Morphology

Size: px
Start display at page:

Download "Mathematical Morphology"

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

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 information

Morphological image processing

Morphological 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 information

Mathematical Morphology and Distance Transforms

Mathematical 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 information

Chapter I : Basic Notions

Chapter 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 information

Morphology Gonzalez and Woods, Chapter 9 Except sections 9.5.7, 9.5.8, and Repetition of binary dilatation, erosion, opening, closing

Morphology 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 information

Morphological Operations. GV12/3072 Image Processing.

Morphological 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 information

Used 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 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 information

Chapter VI. Set Connection and Numerical Functions

Chapter 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 information

Course 212: Academic Year Section 1: Metric Spaces

Course 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 information

Relations on Hypergraphs

Relations 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 information

Part II : Connection

Part 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 information

Digital Signal Processing

Digital 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 information

Chapter VIII : Thinnings

Chapter 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 information

Chapter III: Opening, Closing

Chapter 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 information

Mathematics for Economists

Mathematics 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 information

Homework 5. Solutions

Homework 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 information

Set, functions and Euclidean space. Seungjin Han

Set, 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 information

CS 4495 Computer Vision Binary images and Morphology

CS 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 information

Fuzzy Sets and Fuzzy Techniques. Sladoje. Introduction. Operations. Combinations. Aggregation Operations. An Application: Fuzzy Morphologies

Fuzzy 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 information

Mathematical Morphology

Mathematical 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 information

Introduction to Real Analysis Alternative Chapter 1

Introduction 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 (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 information

Notes on Ordered Sets

Notes 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 information

Solutions to Tutorial 7 (Week 8)

Solutions 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 information

Foundation for Neutrosophic Mathematical Morphology

Foundation 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 information

A LITTLE REAL ANALYSIS AND TOPOLOGY

A 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 information

MAS331: Metric Spaces Problems on Chapter 1

MAS331: 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 information

Topological properties of Z p and Q p and Euclidean models

Topological 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 information

Fractal Geometry Mathematical Foundations and Applications

Fractal 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 information

CHAPTER 2: CONVEX SETS AND CONCAVE FUNCTIONS. W. Erwin Diewert January 31, 2008.

CHAPTER 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 information

BOOLEAN ALGEBRA INTRODUCTION SUBSETS

BOOLEAN 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 information

A2 HW Imaginary Numbers

A2 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 information

Lecture 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 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 information

Topology. 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  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 information

1/12/05: sec 3.1 and my article: How good is the Lebesgue measure?, Math. Intelligencer 11(2) (1989),

1/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 information

Economics 204 Fall 2011 Problem Set 1 Suggested Solutions

Economics 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 information

2MA105 Algebraic Structures I

2MA105 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 information

ECARES Université Libre de Bruxelles MATH CAMP Basic Topology

ECARES 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

KUIPER S THEOREM ON CONFORMALLY FLAT MANIFOLDS

KUIPER 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 information

That is, there is an element

That 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 information

Chapter 1 The Real Numbers

Chapter 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 information

3 Boolean Algebra 3.1 BOOLEAN ALGEBRA

3 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 information

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

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 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 information

Introduction. Chapter 1. Contents. EECS 600 Function Space Methods in System Theory Lecture Notes J. Fessler 1.1

Introduction. 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 information

Extreme Abridgment of Boyd and Vandenberghe s Convex Optimization

Extreme 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 information

The Frequency Domain. Many slides borrowed from Steve Seitz

The 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 information

Structural and Multidisciplinary Optimization. P. Duysinx and P. Tossings

Structural 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 information

REVIEW OF ESSENTIAL MATH 346 TOPICS

REVIEW 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 information

18.175: Lecture 2 Extension theorems, random variables, distributions

18.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 information

Digital Image Processing COSC 6380/4393

Digital 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 information

Discrete Geometry. Problem 1. Austin Mohr. April 26, 2012

Discrete 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 information

CSE 206A: Lattice Algorithms and Applications Winter The dual lattice. Instructor: Daniele Micciancio

CSE 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 information

Optimization and Optimal Control in Banach Spaces

Optimization 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 information

Functional Analysis I

Functional 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 information

Geometric and isoperimetric properties of sets of positive reach in E d

Geometric 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 information

Sets and Motivation for Boolean algebra

Sets 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 information

INF-SUP CONDITION FOR OPERATOR EQUATIONS

INF-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 information

CSE 206A: Lattice Algorithms and Applications Spring Minkowski s theorem. Instructor: Daniele Micciancio

CSE 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 information

3 Measurable Functions

3 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 information

APPLICATIONS OF DIFFERENTIABILITY IN R n.

APPLICATIONS 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 information

Math 201 Topology I. Lecture notes of Prof. Hicham Gebran

Math 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 information

Lecture 8 Plus properties, merit functions and gap functions. September 28, 2008

Lecture 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 information

Real Analysis Math 131AH Rudin, Chapter #1. Dominique Abdi

Real 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 information

Prague, II.2. Integrability (existence of the Riemann integral) sufficient conditions... 37

Prague, 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 information

The p-adic numbers. Given a prime p, we define a valuation on the rationals by

The 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 information

INTRODUCTION TO TOPOLOGY, MATH 141, PRACTICE PROBLEMS

INTRODUCTION 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 information

Extrema of Functions of Several Variables

Extrema 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 information

Part III. 10 Topological Space Basics. Topological Spaces

Part 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 information

Diffraction by Edges. András Vasy (with Richard Melrose and Jared Wunsch)

Diffraction 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 information

arxiv: v1 [math.ds] 17 Mar 2010

arxiv: 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 information

Discrete Mathematics. (c) Marcin Sydow. Sets. Set operations. Sets. Set identities Number sets. Pair. Power Set. Venn diagrams

Discrete 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 information

MORPHOLOGICAL IMAGE ANALYSIS III

MORPHOLOGICAL 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 information

Lectures on Geometry

Lectures 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 information

Logic and Boolean algebra

Logic 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 information

Duality and Automata Theory

Duality 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 information

Green s Theorem in the Plane

Green 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 information

On minimal models of the Region Connection Calculus

On 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 information

Smooth Structure. lies on the boundary, then it is determined up to the identifications it 1 2

Smooth 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 information

Constrained Optimization and Lagrangian Duality

Constrained 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 information

Rudin Real and Complex Analysis - Harmonic Functions

Rudin 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 information

Topological Logics over Euclidean Spaces

Topological 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 information

Introduction to Real Analysis

Introduction 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 information

Research Methods in Mathematics Extended assignment 1

Research 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 information

Real Analysis. Joe Patten August 12, 2018

Real 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 information

JUHA KINNUNEN. Harmonic Analysis

JUHA 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 information

Lecture 3: Lagrangian duality and algorithms for the Lagrangian dual problem

Lecture 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 information

NATIONAL 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 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 information

arxiv: v2 [math.gm] 23 Feb 2017

arxiv: 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 information

Green s Theorem in the Plane

Green 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 information

Math 115 Second Midterm March 25, 2010

Math 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 information

We will begin our study of topology from a set-theoretic point of view. As the subject

We 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 information

The Space of Maximal Ideals in an Almost Distributive Lattice

The 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 information

Lecture 4 Lebesgue spaces and inequalities

Lecture 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 information

Longest paths in circular arc graphs. Paul N. Balister Department of Mathematical Sciences, University of Memphis

Longest 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 information

Problem 1: Compactness (12 points, 2 points each)

Problem 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 information

1. (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 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 information

An introduction to Birkhoff normal form

An 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 information

Boolean Algebras, Boolean Rings and Stone s Representation Theorem

Boolean 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 information

Answer all the questions

Answer 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 information

Boolean Algebras. Chapter 2

Boolean 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