Digital Signal Processing

Size: px
Start display at page:

Download "Digital Signal Processing"

Transcription

1 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) Concept and types An image I is a function D L. The 2D (two-dimensional) image and 3D (three-dimensional) image domains are D Z 2 and D Z 3, respectively. The digital image domain is said to be composed of pixels (for 2D images) or voxels (for 3D images). Note: remember that adequate sampling should be used in continuous signal discretization in order to prevent aliasing. Some types of 2D images are listed below, where the domain D Z 2 and each pixel is associated with two coordinates. Binary image The image set L is {0, 1} (or also {0, 255}), i.e., the value associated with a pixel is 0 or 1. A binary image is an equivalent (isomorphic) concept to set. A binary image would be a membership function of the associated set. Greyscale image The image set L is a subset of the set of integers (L Z). Normally bit depth values of 8 are used, for which reason L is usually {0, 1,..., 255}. Multi-band image In this case L is a Cartesian product of value sets. Each pixel is associated with a tuple of values. Colour images and multi-spectral satellite images are examples of this type of images. José Crespo (Facultad de Informática, UPM). 1.1

2 1.1 Image (digital) 1 PART 1: SUMMARY OF THEORY For example, in the case of images with a colour depth of 8 bits, L is equal to {0, 1,..., 255} {0, 1,..., 255} {0, 1,..., 255}. Other types of images: 3D (greyscale) image 3D or volumetric images have a volumetric domain, i.e., the domain (D Z 3 ) is composed of volumetric elements (voxels) with three coordinates. Examples: medical CT (computerized tomography), MR (magnetic resonance), PET ( positron emission tomography ), SPECT ( Single Photon Emission Computed Tomography ) images. Video image A video image is a 2D image that varies over time (which can be considered as a third dimension). Temporal volumetric image (3D video signal) A temporal volumetric image is a 3D (volumetric) that varies over time. Example: temporal 3D medical image of the heart. We will focus on binary images (or, equivalently, sets) and greyscale images Connectivity The image should have a defined connectivity. Connectivity will be associated with the concept of neighbourhood. There are two common connectivities: 8-connected neighbourhood: Where a pixel (i, j) has eight neighbours: (i 1, j 1), (i 1, j), (i 1, j + 1), (i, j 1), i, j), (i, j + 1), (i + 1, j 1), (i + 1, j), (i + 1, j + 1). 4-connected neighbourhood: where a pixel (i, j) has 4 neighbours: (i 1, j), (i, j 1), (i, j +1), (i+ 1, j). (a) 8-connected neighbourhood (b) 4-connected neighbourhood José Crespo (Facultad de Informática, UPM). 1.2

3 1 PART 1: SUMMARY OF THEORY 1.2 General mathematical fundaments 1.2 General mathematical fundaments The foundations of morphological processing differ from linear signal/image processing. In most cases, images are a very different kettle of fish to other signal types, like voice signals. Specifically, major differences are to be found regarding: The superposition principle The frequency interpretation of linear filters Unlike voice signals, there is no superposition (linear, with addition) of signals in images generally, nor is the frequency location of information good. These differences mean that, when it comes to processing shapes, linear processing has a number of weaknesses. So-called morphological processing is a good alternative for processing the shapes of the structures in an image. It applies a set-theory approach where shapes can be considered satisfactorily. (a) Input image I (b) Example of linear filtering (low-pass filter) (c) Example of morphological filtering (d) Example of morphological filtering 2 José Crespo (Facultad de Informática, UPM). 1.3

4 1.3 Set or binary image case 1 PART 1: SUMMARY OF THEORY The underlying mathematical structure of morphological processing, the lattice, has: An ordering relation Properties: a a (reflexive property). If a b and b a, then a = b (antisymmetric property). If a b and b c, then a c (transitive property). Note: an ordering relation can be total or partial. Two basic operations: Sup (or supremum) The sup of two elements a and b of a lattice L calculates the least element of L that is greater than both a and b. Inf (or infimum) The inf of two elements a and b of a lattice calculates the greatest element of L that is less than both a and b. We will see that these sup and inf operations translate to simple operations in the cases that we will examine. 1.3 Set or binary image case The sets in a space E are elements of the power set P(E), which is the set of all the subsets of E 1. Ordering relation : is the relation of set inclusion. Sup operation : is the operation of set union. 1 I.e., P(E) = {A : A E}. A B = A B José Crespo (Facultad de Informática, UPM). 1.4

5 1 PART 1: SUMMARY OF THEORY 1.4 Greyscale images case Inf operation : is the operation of set intersection. A B = A B Binary sets and images (functions) are equivalent concepts (isomorphs). A binary image can be considered as the membership function of a 2D set. 1.4 Greyscale images case Greyscale images f : E L, where L is a subset of the set of integers Z (like, for example, the range {0, 1,..., 255}), is also associated with a lattice structure. Ordering relation : The ordering relation is derived from the relation existing in Z: f g f(x) Z g(x), x E. Sup operation : (f g)(x) = f(x) Z g(x) = max(f(x), g(x)) Z Inf operation : (f g)(x) = f(x) Z g(x) = min(f(x), g(x)) Z f(x) g(x) x (a) Functions f(x) and g(x) José Crespo (Facultad de Informática, UPM). 1.5

6 1.5 Properties and definitions 1 PART 1: SUMMARY OF THEORY f(x) g(x) f(x) g(x) x x (b) f(x) g(x) (c) f(x) g(x) 1.5 Properties and definitions An increasing transformation ψ defined on a lattice L satisfies that, for all a, b elements of L: a b ψ(a) ψ(b), (1) i.e., if the inputs are ordered, then the respective outputs are also ordered. If ψ is an increasing operator, then we have the following inequalities: ψ(i I ) ψ(i) ψ(i ). (2) ψ(i I ) ψ(i) ψ(i ). (3) if ψ and ψ are increasing operators, then ψ ψ, ψ ψ, and ψψ are all increasing operators. I.e., all compositions of increasing operators, with which we are concerned, are increasing. If I is an input image, an image operator Ψ is extensive if and only if I Ψ(I), (4) i.e., if the output is always greater than or equal to the input. José Crespo (Facultad de Informática, UPM). 1.6

7 2 STRUCTURING ELEMENTS An operator Ψ is anti-extensive if and only if i.e., if the output is always less than or equal to the input. An operator Ψ is idempotent if and only if Ψ(I) I, (5) Ψ(I) = ΨΨ(I), (6) i.e., when Ψ is sequentially applied twice and it leaves the first output unchanged. Two operators Ψ and Ω are dual (of each other) if Ψ = Ω. (7) Clearly, we have also that Ω = Ψ. The complement operation computes the complement of an input. Given an input set A in a space E, then (A) = E \ A, where \ denotes set subtraction. In the case of greyscale images I : D L, a related image inversion operation can be defined. This operation inverts an image reversing the intensity values with respect to the middle point of the intensity value range. For example, for 8-bit images, such an operation would transform a value of 0 into 255, a value of 1 into 254, etc. 2 Structuring elements A structuring element is an auxiliary form (set) used by several operators. This auxiliary set is usually quite a lot smaller in size than the input set. It can be likened to the windows commonly used as a processing aid in linear processing. (Note: there is another, quite infrequently used, type of structuring elements called volumetric elements that are functions rather than sets.) Given a structuring element B, its tranpose, denoted by B, is the inversion of B, with respect to the set of coordinates (0, 0): if (x, y) denotes a point (or pixel) that is a member of B, then B is the set of points (or pixels) such that B = { ( x, y) (x, y) B }. José Crespo (Facultad de Informática, UPM). 1.7

8 3 EROSIONS AND DILATIONS 3 Erosions and dilations Erosions and dilations are the most elementary morphological operators. 3.1 General concepts Generally speaking, erosions and dilations can be said, algebraically (although this is not an operational definition), to materialize as operators that are interchangeable with the sup and inf lattice operations: Dilations δ are increasing operations that satisfy: δ(i I ) = δ(i) δ(i ). (8) Respectively, erosions ε are increasing operations that satisfy: ε(i I ) = ε(i) ε(i ). (9) Erosions and dilations that use structuring elements to transform an input image are a very useful and important type of erosions and dilations. In the following we will first tackle operations from a more straightforward, set theory viewpoint to observe the effect of operations on forms and then we will deal with the expressions associated with the images. 3.2 Erosions ε B and dilations δ B with a structuring element If A denotes an input set and B stands for a structuring element, the erosion with structuring element ε B (A) is located at points x such that B x (the structuring element shifted to x) is completely inside the input set A: ε B (A) = { x B x A } (10) where B x stands for the structuring element B shifted to point (or pixel) x. Note: ε B (A) ε A (B). If A is an input set, the dilation with structuring element δ B is located at points x such that B x (the structuring element shifted to x) has a non-empty intersection (that is touches ) the input set A. δ B (A) = { x B x A } (11) José Crespo (Facultad de Informática, UPM). 1.8

9 3 EROSIONS AND DILATIONS 3.2 Erosions ε B and dilations δ B with a structuring element Note: the source of the dilations and erosions with structuring elements are the so-called Minkowski operations (the Minkowski addition and subtraction). B A (a) Input set A and structuring element B (dark). ε B(A) (b) ε B (A) José Crespo (Facultad de Informática, UPM). 1.9

10 3.2 Erosions ε B and dilations δ B with a structuring element 3 EROSIONS AND DILATIONS B A (a) Input set A and structuring element B (dark). δ B(A) (b) δ B (A) José Crespo (Facultad de Informática, UPM). 1.10

11 3 EROSIONS AND DILATIONS 3.2 Erosions ε B and dilations δ B with a structuring element Some properties of ε B and δ B : Dilation δ B is commutative, i.e., if A denotes an input set, then δ B (A) = δ A (B). If the structuring element B contains the origin of the coordinates, then δ B is extensive, i.e., δ B (I) I, for all images I. Otherwise, the dilations δ B are not generally extensive, although it is always holds that a shift in the input is less than or equal to the output δ B (I). Dilation with a structuring element is associative, i.e., if B is the result of δ C (D) (or δ D (C)), then δ B (I)) = δ C (δ D (I)) = δ D (δ C (I)). Note: e.g., the B structuring element B can be expressed as a dilation of the following structuring elements C and D (B is equal to δ C (D), or to δ D (C)): C D If the centre of coordinates is a member of the structuring element B, then ε B is anti-extensive, i.e., ε B (I) I, for all images I. If the origin of the coordinates is not a member of the structuring element B, then the erosions are not anti-extensive; however, it always holds that ε B (I) is less than or equal to a shift in the input. Erosion with a structuring element is associative, i.e., if B is the result of δ C (D) (or δ D (C)), then ε B (I)) = ε C (ε D (I)) = ε D (ε C (I)). Other expressions for dilations and erosions with a structuring element are as follows: Erosions: ε B (A) = b B A b = b B A b (12) ε B (I) = b B I b (13) José Crespo (Facultad de Informática, UPM). 1.11

12 3.2 Erosions ε B and dilations δ B with a structuring element 3 EROSIONS AND DILATIONS (ε B (I))(x) = min{i(x + b)} (14) b B Dilations: δ B (A) = b B A b = b B A b (15) δ B (I) = b B I b (16) (δ B (I))(x) = max{i(x + b)} (17) b B Expressions (14) and (17) are the expressions that are usually used in practice to calculate dilations and erosions with a structuring element, in the case of both binary and greyscale images. Thus, for example, if the structuring element B is a square of size 3 3, B: square 3 3 the result of the erosion ε B for a particular pixel (i, j) is (using a two-coordinate notation): 2 (ε B (I))(i, j) = min Similarly, for the δ B dilation: (δ B (I))(i, j) = max I(i 1, j 1), I(i 1, j), I(i 1, j + 1), I(i, j 1), I(i, j), I(i, j + 1), I(i + 1, j 1), I(i + 1, j), I(i + 1, j + 1) I(i 1, j 1), I(i 1, j), I(i 1, j + 1), I(i, j 1), I(i, j), I(i, j + 1), I(i + 1, j 1), I(i + 1, j), I(i + 1, j + 1) 2 Note: Care should, of course, be taken not to exceed the image boundaries. José Crespo (Facultad de Informática, UPM). 1.12

13 4 OPENINGS AND CLOSINGS 4 Openings and closings 4.1 General concepts A morphological filter is an increasing and idempotent transformation. (Note that the word filter has a different meaning here than in linear processing, where, in practice, it signifies any transformation.) The transformations in section 3, erosions and dilations, are not idempotent (and, therefore, are not morphological filters). Let us now look at other more complex transformations that do have the property of idempotency. An opening γ is an anti-extensive morphological filter. A closing ϕ is an extensive morphological filter. As in the case of erosions and dilations, openings and closings that use a structuring element are an important type of openings and closings. 4.2 Openings and closings with a structuring element An opening with a structuring element B of an input set A, denoted by γ B (A), is the set of points x that are members of a shift of B that is completely included in the input set A. It is calculated by sequentially combining an erosion and dilation with a structuring element: γ B = δ Bε B, The closing with structuring element ϕ B can be defined by applying the duality with the opening: the closing with the structuring element of an input set A, denoted by ϕ B (A) is the complement of the points that are members of the shift of B that is included in the complement of A ( (A)). In other words, ϕ B (A) is the complement of the opening γ B of (A). It is calculated as: ϕ B = ε Bδ B, The effects of these filters are (expressed in the binary framework): The opening γ B removes the light structures that are smaller than the structuring element B. This way, it will remove connected components that are less than B. José Crespo (Facultad de Informática, UPM). 1.13

14 5 OTHER TYPES OF FILTERS The closing ϕ B will fill in the dark structures that are smaller than the structuring element B. Therefore, it will close up holes in the input set that are less than B. Some examples Directly applying the definition of inclusion: (a) Input set A (dark) (b) B (c) γ B (A) (d) B (e) γ B (A) (f) B (g) γ B (A) Applying elementary erosion and dilation operations: (a) Input set A (dark) (b) B (c) ε B (A) (d) γ B (A) = δ Bε B (A) 5 Other types of filters (e) B (f) ε B (A) (g) γ B (A) = δ Bε B (A) Generally, the effects of opening and closing are usually combined by applying the two sequentially, one after the other. They are called alternate filters: ϕγ γϕ José Crespo (Facultad de Informática, UPM). 1.14

15 6 GRADIENT AND TOP-HAT TRANSFORM The alternate filters ϕγ and γϕ are idempotent, i.e., they are morphological filters. There is no ordering relation between ϕγ and γϕ, or with the input: ϕγ γϕ ϕγ id ϕγ id id γϕ id 6 Gradient and top-hat transform Morphological gradient The morphological gradient operator is an approximation of the module of the image derivative. It is a measure of the change of the function. δ B (I) ε B (I) (18) (Note: the symbol - denotes pixelwise integer subtraction.) The gradient of expression (18) is usually called the Beucher gradient. In binary images, the morphological gradient extracts the boundary of the forms, specifically the internal and external boundary. To extract either the internal boundary or the external of a binary image, we calculate I ε B (I) or δ B (I) I, respectively. (Note: the morphological gradient is an example of a residual operation.) Top-hat transforms Top-hat transforms are used to extract structures of interest. They are attractive transforms for this purpose, because, for one thing, it is often easier to use a filter to remove all, or part of, the structures of interest than to delete the irrelevant parts of an image. Additionally, these transforms are quite robust to illumination changes. There are three types of transforms depending on whether we are interested in light, dark or both structures: White top-hat (or top-hat for light structures) José Crespo (Facultad de Informática, UPM). 1.15

16 7 GRANULOMETRIES AND ANTI-GRANULOMETRIES Black top-hat (or top-hat for dark structures) I γ(i) ϕ(i) I Symmetric top-hat (or top-hat for light and dark structures) ϕ(i) γ(i) The procedure is to first calculate a top-hat and then apply a threshold to output a binary image that marks (or indicates) the structures of interest. 7 Granulometries and anti-granulometries 7.1 Definitions Axioms of granulometries or size distributions: Increasingness Anti-extensivity Absorption: If Ψ i, Ψ j are two transforms of a size distribution, where i j, then Ψ i Ψ j = Ψ j Ψ i = Ψ max(i,j) = Ψ j. (19) A family of openings {γ i }, where i S = {1,..., n}, is a granulometry if, for all i, j S, i j γ i γ J. (20) I.e., the openings are ordered. The dual concept is anti-granulometry. A family of closings {ϕ i }, where i S = {1,..., n}, is an antigranulometry if, for all i, j S, José Crespo (Facultad de Informática, UPM). 1.16

17 7 GRANULOMETRIES AND ANTI-GRANULOMETRIES 7.2 Granulometries and anti-granulometries with a structuring element i j ϕ i ϕ J. (21) I.e., the closings are ordered. In practice, the term granulometry often covers the use of openings and closings (i.e., including both a granulometry and anti-granulometry component). For example, a granulometry of indices [ 3, 3] would use the filters: γ 3, γ 2, γ 1, id, ϕ 1, ϕ 2, ϕ 3. The symbol id denotes the identity operator that does not modify the input. 7.2 Granulometries and anti-granulometries with a structuring element The granulometries and anti-granulometries with structuring elements use families of structuring elements that guarantee the ordering relation between openings and closings. The family of square structuring elements below would be adequate. It uses the usual size convention that the index i translates to a square of size 2i + 1 (or, in the case of circles, to a circle of radius i). (a) i = 0 (b) i = 1 (c) i = 2 (d) i = 3 The following condition must hold: γ (i 1)B (ib) = ib, for i 1. (22) 7.3 Granulometric curve Generally, a criterion or measure of the output of the granulometry and/or anti-granulometry filters is applied. The results are then used to build what is called a granulometric curve, which, sometimes and depending on the choice of structuring element, is useful for describing and analysing the forms of the present structures. That criterion or measure must be increasing, which means that the curve will be monotonic increasing (if x y, then f(x) f(y)) if part of the openings are associated with negative indices, as is usually the case. The figures below illustrate two cases, a binary and a greyscale example. Note that the granulometric curves are increasing from left to right. Often, the derivative of the granulometric curve is also calculated to better reflect the changes. José Crespo (Facultad de Informática, UPM). 1.17

18 7.3 Granulometric curve 7 GRANULOMETRIES AND ANTI-GRANULOMETRIES (a) Input set A (white) (b) γ 4 (A) (c) γ 6 (A) (d) γ 8 (A) (e) Granulometric curve (range: [ 15, 15]) Figure 1: Granulometry: binary image example. José Crespo (Facultad de Informática, UPM). 1.18

19 7 GRANULOMETRIES AND ANTI-GRANULOMETRIES 7.3 Granulometric curve (a) Input image I (b) γ 4 (I) (c) γ 6 (I) (d) γ 8 (I) (e) Granulometric curve (range: [ 15, 15]) Figure 2: Granulometry: (non-binary) image example. José Crespo (Facultad de Informática, UPM). 1.19

20 8 HIT-OR-MISS TRANSFORM 8 Hit-or-miss transform The hit-or-miss transformation is an operator that uses a composite structuring element, i.e., uses two structuring elements B and C. The HMT (B,C) of an input set A calculates the set of points x such that the shifted structuring elements B x and C x are included in, respectively, A and (A): HMT (B,C) (A) = {x B x A, C x (A)} Note that B and C should be disjoint (otherwise, the output would be empty). We have that: HMT (B,C) (A) = ε B (A) ε C ( (A)) For example, the following composite structuring element would extract the upper vertical endpoints: B (dark) and C (white) Note: as the structuring elements B and C are disjoint, the above representation visualizes both structuring elements in different colours in the same figure. The composite structuring element below would extract the lower vertical endpoints: B (dark) and C (white) Therefore, we can extract (upper and lower) vertical endpoints of an input set A as: HMT (B,C) (A) HMT (B,C )(A). (Note: in the above two examples, the centre belongs to the first structuring element. however, the centre could belong to the second structuring element in other cases.) José Crespo (Facultad de Informática, UPM). 1.20

21 9 PART 2: PRACTICAL ASSIGNMENT 9 Part 2: Practical Assignment Image Processing: Introduction to Morphological Processing SURNAME: SURNAME: NAME: NAME: Exercise 1 Erosions and Dilations Let I be the input image of the file squares01.pgm. Let B be a square structuring element with sides measuring 3. Is ε B (I) I? Is ε B (I) < I? I Let I be the input image of file squares02.pgm. Let B be a square structuring element with sides measuring 3. Is δ B (I) I? Is δ B (I) > I? I Exercise 2 Openings and structuring elements If there is more than one structuring element that meets the specifications in this exercise, choose the smallest sized one (and without holes). José Crespo (Facultad de Informática, UPM). 1.21

22 9 PART 2: PRACTICAL ASSIGNMENT Consider image I in file fig01 32.pgm. What structuring element B should you use to output the results shown in the image in fig02 32.pgm for the input image I with an opening γ B? I γ B (I) Consider image I in file fig01 32.pgm. What structuring element B should you use to output the results shown in the image in fig03 32.pgm for the input image I with an opening γ B? I γ B (I) Is there any structuring element B greater than a pixel such that γ B does not modify the image in file fig04 32.pgm, and, if so, which would it be? I γ B (I) José Crespo (Facultad de Informática, UPM). 1.22

23 9 PART 2: PRACTICAL ASSIGNMENT Exercise 3 Noise suppression Let I be the input image in file isn 256.pgm, which has added binary impulse noise ( salt-and-pepper noise). I Let B be a square structuring element of side 3. Calculate: γ B (I), ϕ B (I), ϕ B γ B (I), γ B ϕ B (I). Of the above four filters, state which are the best two for noise suppression of I. Exercise 4 Hit-or-miss transforms Let the input image I in file hm01 32.pgm be: I Suppose we want to use two hit-or-miss transforms to detect, respectively, the isolated points (there are 3 pixels in the figure) and the centre point of the cross intersection (1 pixel). Design two composite structuring elements suitable for the transforms, check the results in Matlab and write them in the box. Exercise 5 Decomposition of structuring elements Let the structuring elements be as follows: José Crespo (Facultad de Informática, UPM). 1.23

24 9 PART 2: PRACTICAL ASSIGNMENT Note that B is the result of δ C (D) (or δ D (C)). B C D Using the greyscale image cam 74.pgm as input, check that δ B (I)) = δ C (δ D (I)). State the number of max operations to be performed to process the square image of size N N for both alternatives (δ B (I)) or δ C (δ D (I))). Suppose that the sizes of B, C and D are, respectively, M M, 1 M and M 1. (Note: ignore any edge effects, that is, process all the image pixels in the same way.) OPTIONAL PART Exercise 6 Composition of openings In the following exercise we will experiment with compositions of openings. A result of morphological filter theory is that the sup of openings is likewise an opening. Let I be the file input image opc01 32.pgm. Let B be a 1 3 horizontal structuring element, and C a 3 1 vertical structuring element: I B C (1) Get the result: I = γ B (I) γ C (I). (2) Then calculate: I = γ B (I ) γ C (I ). José Crespo (Facultad de Informática, UPM). 1.24

25 9 PART 2: PRACTICAL ASSIGNMENT Is I = I? Likewise, after observing the output, write two or three lines discussing what effect the operation (γ B γc )(I) has. Exercise 7 Granulometries In this exercise, use the image of file gran01 64.pgm as the input image. I Calculate the volumes (saved as a vector) of γ i (I), 0 i 5, where γ i denotes an opening with a square structuring element of side 2i + 1. γ 0 (I) is assumed to be I. Use plot to visualize the vector of volumes, and plot the resulting graph, specifying the associated volumes that you have calculated. Note: remember that the openings are associated with negative indices on the granulometric curve. Exercise 8 Increasing operators An increasing operator ψ on sets satisfies ψ(a) ψ(b) if A B, for any pair of sets A, B. Let C, D be two sets. If we know that ψ(d) is (empty set), and that C D, can we find out what the result of ψ(c) is? And, if so, what would it be? José Crespo (Facultad de Informática, UPM). 1.25

26 9 PART 2: PRACTICAL ASSIGNMENT Appendix Simple auxiliary functions related to orderings and the sup, inf and image inversion operations: immareequal.m immareequal (im1, im2): si im1 == im2. immislessthan.m immislessthan (im1, im2): si im1 im2. immislessthanstrict.m immislessthanstrict (im1, im2): si im1 < im2. immislargerthan.m immislargerthan (im1, im2): si im1 im2. immislargerthanstrict.m immislargerthanstrict (im1, im2): si im1 > im2. imminf.m imminf (im1, im2): im1 im2. immsup.m immsup (im1, im2): im1 im2. immvolume.m immvolume (im): volume (cumulative sum of the pixel values) of im. There is also a function for visualizing an image through previous upsampling: factor). Some Matlab functions related to the practical assignment: immshowu (im, José Crespo (Facultad de Informática, UPM). 1.26

27 9 PART 2: PRACTICAL ASSIGNMENT imread: reads images. imwrite: writes images. imshow: shows images. imerode: performs erosion with a structuring element. imdilate: performs dilation with a structuring element. imopen: performs opening with a structuring element. imclose: performs closing with a structuring element. imcomplement: performs the complement / image inversion operation. strel: creates structuring elements of different types. Square of side 3: st = strel( square,3) Disk of radius 1: st = strel( disk,1) Diamond of radius 1: st = strel( diamond,1) Horizontal line of length 3: st = strel ( line, 3, 0); Vertical line of length 3: st = strel ( line, 3, 90); Arbitrary element: starray = [1 0 1; 0 1 0; 1 0 1]; st = strel( arbitrary, starray); José Crespo (Facultad de Informática, UPM). 1.27

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

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

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

(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

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

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 IV : Morphological Filtering

Chapter IV : Morphological Filtering Chapter IV : Morphological Filtering Serial composition -> Products θψ, θψθ -> Alternating sequential filters Parallel composition -> Morphological centers -> Contrast enhancement J. Serra Ecole des Mines

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

Mathematical Morphology

Mathematical Morphology Mathematical Morphology Erosions and Dilations Luc Brun (d après le cours de M. Coster) 25 janvier 2018 1 / 61 Plan (1/2) Structuring element Definition, Example, Transpose Set erosion and dilatation Hit

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

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

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

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

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

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

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

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

3. Abstract Boolean Algebras

3. Abstract Boolean Algebras 3. ABSTRACT BOOLEAN ALGEBRAS 123 3. Abstract Boolean Algebras 3.1. Abstract Boolean Algebra. Definition 3.1.1. An abstract Boolean algebra is defined as a set B containing two distinct elements 0 and 1,

More information

Walker Ray Econ 204 Problem Set 3 Suggested Solutions August 6, 2015

Walker Ray Econ 204 Problem Set 3 Suggested Solutions August 6, 2015 Problem 1. Take any mapping f from a metric space X into a metric space Y. Prove that f is continuous if and only if f(a) f(a). (Hint: use the closed set characterization of continuity). I make use of

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

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

Mathematical Morphology on Hypergraphs: Preliminary Definitions and Results

Mathematical Morphology on Hypergraphs: Preliminary Definitions and Results Mathematical Morphology on Hypergraphs: Preliminary Definitions and Results Isabelle Bloch, Alain Bretto DGCI 2011 I. Bloch, A. Bretto (Paris, Caen - France) Mathematical Morphology on Hypergraphs DGCI

More information

2. The Concept of Convergence: Ultrafilters and Nets

2. The Concept of Convergence: Ultrafilters and Nets 2. The Concept of Convergence: Ultrafilters and Nets NOTE: AS OF 2008, SOME OF THIS STUFF IS A BIT OUT- DATED AND HAS A FEW TYPOS. I WILL REVISE THIS MATE- RIAL SOMETIME. In this lecture we discuss two

More information

In N we can do addition, but in order to do subtraction we need to extend N to the integers

In N we can do addition, but in order to do subtraction we need to extend N to the integers Chapter The Real Numbers.. Some Preliminaries Discussion: The Irrationality of 2. We begin with the natural numbers N = {, 2, 3, }. In N we can do addition, but in order to do subtraction we need to extend

More information

Sets. We discuss an informal (naive) set theory as needed in Computer Science. It was introduced by G. Cantor in the second half of the nineteenth

Sets. We discuss an informal (naive) set theory as needed in Computer Science. It was introduced by G. Cantor in the second half of the nineteenth Sets We discuss an informal (naive) set theory as needed in Computer Science. It was introduced by G. Cantor in the second half of the nineteenth century. Most students have seen sets before. This is intended

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

cse303 ELEMENTS OF THE THEORY OF COMPUTATION Professor Anita Wasilewska

cse303 ELEMENTS OF THE THEORY OF COMPUTATION Professor Anita Wasilewska cse303 ELEMENTS OF THE THEORY OF COMPUTATION Professor Anita Wasilewska LECTURE 1 Course Web Page www3.cs.stonybrook.edu/ cse303 The webpage contains: lectures notes slides; very detailed solutions to

More information

Lecture 4. Algebra, continued Section 2: Lattices and Boolean algebras

Lecture 4. Algebra, continued Section 2: Lattices and Boolean algebras V. Borschev and B. Partee, September 21-26, 2006 p. 1 Lecture 4. Algebra, continued Section 2: Lattices and Boolean algebras CONTENTS 1. Lattices.... 1 1.0. Why lattices?... 1 1.1. Posets... 1 1.1.1. Upper

More information

Chapter 1. Sets and Numbers

Chapter 1. Sets and Numbers Chapter 1. Sets and Numbers 1. Sets A set is considered to be a collection of objects (elements). If A is a set and x is an element of the set A, we say x is a member of A or x belongs to A, and we write

More information

Sets. Alice E. Fischer. CSCI 1166 Discrete Mathematics for Computing Spring, Outline Sets An Algebra on Sets Summary

Sets. Alice E. Fischer. CSCI 1166 Discrete Mathematics for Computing Spring, Outline Sets An Algebra on Sets Summary An Algebra on Alice E. Fischer CSCI 1166 Discrete Mathematics for Computing Spring, 2018 Alice E. Fischer... 1/37 An Algebra on 1 Definitions and Notation Venn Diagrams 2 An Algebra on 3 Alice E. Fischer...

More information

Analysis I. Classroom Notes. H.-D. Alber

Analysis I. Classroom Notes. H.-D. Alber Analysis I Classroom Notes H-D Alber Contents 1 Fundamental notions 1 11 Sets 1 12 Product sets, relations 5 13 Composition of statements 7 14 Quantifiers, negation of statements 9 2 Real numbers 11 21

More information

MATH 102 INTRODUCTION TO MATHEMATICAL ANALYSIS. 1. Some Fundamentals

MATH 102 INTRODUCTION TO MATHEMATICAL ANALYSIS. 1. Some Fundamentals MATH 02 INTRODUCTION TO MATHEMATICAL ANALYSIS Properties of Real Numbers Some Fundamentals The whole course will be based entirely on the study of sequence of numbers and functions defined on the real

More information

Selected solutions for Homework 9

Selected solutions for Homework 9 Math 424 B / 574 B Due Wednesday, Dec 09 Autumn 2015 Selected solutions for Homework 9 This file includes solutions only to those problems we did not have time to cover in class. We need the following

More information

Some Background Material

Some Background Material Chapter 1 Some Background Material In the first chapter, we present a quick review of elementary - but important - material as a way of dipping our toes in the water. This chapter also introduces important

More 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

Lecture 2. Econ August 11

Lecture 2. Econ August 11 Lecture 2 Econ 2001 2015 August 11 Lecture 2 Outline 1 Fields 2 Vector Spaces 3 Real Numbers 4 Sup and Inf, Max and Min 5 Intermediate Value Theorem Announcements: - Friday s exam will be at 3pm, in WWPH

More information

Part IA Numbers and Sets

Part IA Numbers and Sets Part IA Numbers and Sets Definitions Based on lectures by A. G. Thomason Notes taken by Dexter Chua Michaelmas 2014 These notes are not endorsed by the lecturers, and I have modified them (often significantly)

More information

POL502: Foundations. Kosuke Imai Department of Politics, Princeton University. October 10, 2005

POL502: Foundations. Kosuke Imai Department of Politics, Princeton University. October 10, 2005 POL502: Foundations Kosuke Imai Department of Politics, Princeton University October 10, 2005 Our first task is to develop the foundations that are necessary for the materials covered in this course. 1

More information

Mathematics Review for Business PhD Students Lecture Notes

Mathematics Review for Business PhD Students Lecture Notes Mathematics Review for Business PhD Students Lecture Notes Anthony M. Marino Department of Finance and Business Economics Marshall School of Business University of Southern California Los Angeles, CA 90089-0804

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

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

General Notation. Exercises and Problems

General Notation. Exercises and Problems Exercises and Problems The text contains both Exercises and Problems. The exercises are incorporated into the development of the theory in each section. Additional Problems appear at the end of most sections.

More information

In N we can do addition, but in order to do subtraction we need to extend N to the integers

In N we can do addition, but in order to do subtraction we need to extend N to the integers Chapter 1 The Real Numbers 1.1. Some Preliminaries Discussion: The Irrationality of 2. We begin with the natural numbers N = {1, 2, 3, }. In N we can do addition, but in order to do subtraction we need

More information

2.2 Some Consequences of the Completeness Axiom

2.2 Some Consequences of the Completeness Axiom 60 CHAPTER 2. IMPORTANT PROPERTIES OF R 2.2 Some Consequences of the Completeness Axiom In this section, we use the fact that R is complete to establish some important results. First, we will prove that

More information

Boolean Algebra CHAPTER 15

Boolean Algebra CHAPTER 15 CHAPTER 15 Boolean Algebra 15.1 INTRODUCTION Both sets and propositions satisfy similar laws, which are listed in Tables 1-1 and 4-1 (in Chapters 1 and 4, respectively). These laws are used to define an

More information

Class Notes on Poset Theory Johan G. Belinfante Revised 1995 May 21

Class Notes on Poset Theory Johan G. Belinfante Revised 1995 May 21 Class Notes on Poset Theory Johan G Belinfante Revised 1995 May 21 Introduction These notes were originally prepared in July 1972 as a handout for a class in modern algebra taught at the Carnegie-Mellon

More information

The Lebesgue Integral

The Lebesgue Integral The Lebesgue Integral Brent Nelson In these notes we give an introduction to the Lebesgue integral, assuming only a knowledge of metric spaces and the iemann integral. For more details see [1, Chapters

More information

Sets and Functions. (As we will see, in describing a set the order in which elements are listed is irrelevant).

Sets and Functions. (As we will see, in describing a set the order in which elements are listed is irrelevant). Sets and Functions 1. The language of sets Informally, a set is any collection of objects. The objects may be mathematical objects such as numbers, functions and even sets, or letters or symbols of any

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

Algorithms for Picture Analysis. Lecture 07: Metrics. Axioms of a Metric

Algorithms for Picture Analysis. Lecture 07: Metrics. Axioms of a Metric Axioms of a Metric Picture analysis always assumes that pictures are defined in coordinates, and we apply the Euclidean metric as the golden standard for distance (or derived, such as area) measurements.

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

U e = E (U\E) e E e + U\E e. (1.6)

U e = E (U\E) e E e + U\E e. (1.6) 12 1 Lebesgue Measure 1.2 Lebesgue Measure In Section 1.1 we defined the exterior Lebesgue measure of every subset of R d. Unfortunately, a major disadvantage of exterior measure is that it does not satisfy

More information

REAL VARIABLES: PROBLEM SET 1. = x limsup E k

REAL VARIABLES: PROBLEM SET 1. = x limsup E k REAL VARIABLES: PROBLEM SET 1 BEN ELDER 1. Problem 1.1a First let s prove that limsup E k consists of those points which belong to infinitely many E k. From equation 1.1: limsup E k = E k For limsup E

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

Lecture 2: A crash course in Real Analysis

Lecture 2: A crash course in Real Analysis EE5110: Probability Foundations for Electrical Engineers July-November 2015 Lecture 2: A crash course in Real Analysis Lecturer: Dr. Krishna Jagannathan Scribe: Sudharsan Parthasarathy This lecture is

More information

Math 172 HW 1 Solutions

Math 172 HW 1 Solutions Math 172 HW 1 Solutions Joey Zou April 15, 2017 Problem 1: Prove that the Cantor set C constructed in the text is totally disconnected and perfect. In other words, given two distinct points x, y C, there

More information

Set Operations. Combining sets into new sets

Set Operations. Combining sets into new sets Set Operations Combining sets into new sets Union of Sets The union of two sets is the set of all elements that are in one or the other set: A B = {x x A x B} The union is the set theoretic equivalent

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

2.1 Sets. Definition 1 A set is an unordered collection of objects. Important sets: N, Z, Z +, Q, R.

2.1 Sets. Definition 1 A set is an unordered collection of objects. Important sets: N, Z, Z +, Q, R. 2. Basic Structures 2.1 Sets Definition 1 A set is an unordered collection of objects. Important sets: N, Z, Z +, Q, R. Definition 2 Objects in a set are called elements or members of the set. A set is

More information

Fuzzy Sets. Mirko Navara navara/fl/fset printe.pdf February 28, 2019

Fuzzy Sets. Mirko Navara   navara/fl/fset printe.pdf February 28, 2019 The notion of fuzzy set. Minimum about classical) sets Fuzzy ets Mirko Navara http://cmp.felk.cvut.cz/ navara/fl/fset printe.pdf February 8, 09 To aviod problems of the set theory, we restrict ourselves

More information

Chapter One. The Real Number System

Chapter One. The Real Number System Chapter One. The Real Number System We shall give a quick introduction to the real number system. It is imperative that we know how the set of real numbers behaves in the way that its completeness and

More information

Theorems. Theorem 1.11: Greatest-Lower-Bound Property. Theorem 1.20: The Archimedean property of. Theorem 1.21: -th Root of Real Numbers

Theorems. Theorem 1.11: Greatest-Lower-Bound Property. Theorem 1.20: The Archimedean property of. Theorem 1.21: -th Root of Real Numbers Page 1 Theorems Wednesday, May 9, 2018 12:53 AM Theorem 1.11: Greatest-Lower-Bound Property Suppose is an ordered set with the least-upper-bound property Suppose, and is bounded below be the set of lower

More information

MAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9

MAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9 MAT 570 REAL ANALYSIS LECTURE NOTES PROFESSOR: JOHN QUIGG SEMESTER: FALL 204 Contents. Sets 2 2. Functions 5 3. Countability 7 4. Axiom of choice 8 5. Equivalence relations 9 6. Real numbers 9 7. Extended

More information

Chapter Summary. Sets The Language of Sets Set Operations Set Identities Functions Types of Functions Operations on Functions Computability

Chapter Summary. Sets The Language of Sets Set Operations Set Identities Functions Types of Functions Operations on Functions Computability Chapter 2 1 Chapter Summary Sets The Language of Sets Set Operations Set Identities Functions Types of Functions Operations on Functions Computability Sequences and Summations Types of Sequences Summation

More information

DR.RUPNATHJI( DR.RUPAK NATH )

DR.RUPNATHJI( DR.RUPAK NATH ) Contents 1 Sets 1 2 The Real Numbers 9 3 Sequences 29 4 Series 59 5 Functions 81 6 Power Series 105 7 The elementary functions 111 Chapter 1 Sets It is very convenient to introduce some notation and terminology

More information

DO FIVE OUT OF SIX ON EACH SET PROBLEM SET

DO FIVE OUT OF SIX ON EACH SET PROBLEM SET DO FIVE OUT OF SIX ON EACH SET PROBLEM SET 1. THE AXIOM OF FOUNDATION Early on in the book (page 6) it is indicated that throughout the formal development set is going to mean pure set, or set whose elements,

More information

Tree sets. Reinhard Diestel

Tree sets. Reinhard Diestel 1 Tree sets Reinhard Diestel Abstract We study an abstract notion of tree structure which generalizes treedecompositions of graphs and matroids. Unlike tree-decompositions, which are too closely linked

More information

PRELIMINARIES FOR GENERAL TOPOLOGY. Contents

PRELIMINARIES FOR GENERAL TOPOLOGY. Contents PRELIMINARIES FOR GENERAL TOPOLOGY DAVID G.L. WANG Contents 1. Sets 2 2. Operations on sets 3 3. Maps 5 4. Countability of sets 7 5. Others a mathematician knows 8 6. Remarks 9 Date: April 26, 2018. 2

More information

Tutorial Obtain the principal disjunctive normal form and principal conjunction form of the statement

Tutorial Obtain the principal disjunctive normal form and principal conjunction form of the statement Tutorial - 1 1. Obtain the principal disjunctive normal form and principal conjunction form of the statement Let S P P Q Q R P P Q Q R A: P Q Q R P Q R P Q Q R Q Q R A S Minterm Maxterm T T T F F T T T

More information

Boolean algebra. Examples of these individual laws of Boolean, rules and theorems for Boolean algebra are given in the following table.

Boolean algebra. Examples of these individual laws of Boolean, rules and theorems for Boolean algebra are given in the following table. The Laws of Boolean Boolean algebra As well as the logic symbols 0 and 1 being used to represent a digital input or output, we can also use them as constants for a permanently Open or Closed circuit or

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

(a) We need to prove that is reflexive, symmetric and transitive. 2b + a = 3a + 3b (2a + b) = 3a + 3b 3k = 3(a + b k)

(a) We need to prove that is reflexive, symmetric and transitive. 2b + a = 3a + 3b (2a + b) = 3a + 3b 3k = 3(a + b k) MATH 111 Optional Exam 3 lutions 1. (0 pts) We define a relation on Z as follows: a b if a + b is divisible by 3. (a) (1 pts) Prove that is an equivalence relation. (b) (8 pts) Determine all equivalence

More information

Mathematics Review for Business PhD Students

Mathematics Review for Business PhD Students Mathematics Review for Business PhD Students Anthony M. Marino Department of Finance and Business Economics Marshall School of Business Lecture 1: Introductory Material Sets The Real Number System Functions,

More information

Connected morphological operators for binary images

Connected morphological operators for binary images Centrum voor Wiskunde en Informatica Connected morphological operators for binary images H.J.A.M. Heijmans Probability, Networks and Algorithms (PNA) PNA-R9708 1997 Report PNA-R9708 ISSN 1386-3711 CWI

More information

Section Summary. Relations and Functions Properties of Relations. Combining Relations

Section Summary. Relations and Functions Properties of Relations. Combining Relations Chapter 9 Chapter Summary Relations and Their Properties n-ary Relations and Their Applications (not currently included in overheads) Representing Relations Closures of Relations (not currently included

More information

The Fundamental Group and Covering Spaces

The Fundamental Group and Covering Spaces Chapter 8 The Fundamental Group and Covering Spaces In the first seven chapters we have dealt with point-set topology. This chapter provides an introduction to algebraic topology. Algebraic topology may

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

Economics 204 Summer/Fall 2011 Lecture 2 Tuesday July 26, 2011 N Now, on the main diagonal, change all the 0s to 1s and vice versa:

Economics 204 Summer/Fall 2011 Lecture 2 Tuesday July 26, 2011 N Now, on the main diagonal, change all the 0s to 1s and vice versa: Economics 04 Summer/Fall 011 Lecture Tuesday July 6, 011 Section 1.4. Cardinality (cont.) Theorem 1 (Cantor) N, the set of all subsets of N, is not countable. Proof: Suppose N is countable. Then there

More information

SOLUTIONS TO EXERCISES FOR. MATHEMATICS 205A Part 1. I. Foundational material

SOLUTIONS TO EXERCISES FOR. MATHEMATICS 205A Part 1. I. Foundational material SOLUTIONS TO EXERCISES FOR MATHEMATICS 205A Part 1 Fall 2014 I. Foundational material I.1 : Basic set theory Problems from Munkres, 9, p. 64 2. (a (c For each of the first three parts, choose a 1 1 correspondence

More information

Structure of R. Chapter Algebraic and Order Properties of R

Structure of R. Chapter Algebraic and Order Properties of R Chapter Structure of R We will re-assemble calculus by first making assumptions about the real numbers. All subsequent results will be rigorously derived from these assumptions. Most of the assumptions

More information

Universal Algebra for Logics

Universal Algebra for Logics Universal Algebra for Logics Joanna GRYGIEL University of Czestochowa Poland j.grygiel@ajd.czest.pl 2005 These notes form Lecture Notes of a short course which I will give at 1st School on Universal Logic

More information

Introduction to Real Analysis

Introduction to Real Analysis Christopher Heil Introduction to Real Analysis Chapter 0 Online Expanded Chapter on Notation and Preliminaries Last Updated: January 9, 2018 c 2018 by Christopher Heil Chapter 0 Notation and Preliminaries:

More information

A new class of morphological pyramids for multiresolution image analysis

A new class of morphological pyramids for multiresolution image analysis new class of morphological pyramids for multiresolution image analysis Jos B.T.M. Roerdink Institute for Mathematics and Computing Science University of Groningen P.O. Box 800, 9700 V Groningen, The Netherlands

More information

Copyright c 2007 Jason Underdown Some rights reserved. statement. sentential connectives. negation. conjunction. disjunction

Copyright c 2007 Jason Underdown Some rights reserved. statement. sentential connectives. negation. conjunction. disjunction Copyright & License Copyright c 2007 Jason Underdown Some rights reserved. statement sentential connectives negation conjunction disjunction implication or conditional antecedant & consequent hypothesis

More information

Connectivity on Complete Lattices

Connectivity on Complete Lattices Connectivity on Complete Lattices Jean Serra Centre de Morphologie Mathématique Ecole des Mines de Paris 35, rue Saint-Honoré 77305 Fontainebleau (France) Phone: 33(1) 64.69.47.06 - Fax: 33(1) 64.69.47.07

More information

L fuzzy ideals in Γ semiring. M. Murali Krishna Rao, B. Vekateswarlu

L fuzzy ideals in Γ semiring. M. Murali Krishna Rao, B. Vekateswarlu Annals of Fuzzy Mathematics and Informatics Volume 10, No. 1, (July 2015), pp. 1 16 ISSN: 2093 9310 (print version) ISSN: 2287 6235 (electronic version) http://www.afmi.or.kr @FMI c Kyung Moon Sa Co. http://www.kyungmoon.com

More information

Closure operators on sets and algebraic lattices

Closure operators on sets and algebraic lattices Closure operators on sets and algebraic lattices Sergiu Rudeanu University of Bucharest Romania Closure operators are abundant in mathematics; here are a few examples. Given an algebraic structure, such

More information

CHAPTER 3: THE INTEGERS Z

CHAPTER 3: THE INTEGERS Z CHAPTER 3: THE INTEGERS Z MATH 378, CSUSM. SPRING 2009. AITKEN 1. Introduction The natural numbers are designed for measuring the size of finite sets, but what if you want to compare the sizes of two sets?

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

Lebesgue Measure. Dung Le 1

Lebesgue Measure. Dung Le 1 Lebesgue Measure Dung Le 1 1 Introduction How do we measure the size of a set in IR? Let s start with the simplest ones: intervals. Obviously, the natural candidate for a measure of an interval is its

More information

1.1. MEASURES AND INTEGRALS

1.1. MEASURES AND INTEGRALS CHAPTER 1: MEASURE THEORY In this chapter we define the notion of measure µ on a space, construct integrals on this space, and establish their basic properties under limits. The measure µ(e) will be defined

More information

CHAPTER I THE RIESZ REPRESENTATION THEOREM

CHAPTER I THE RIESZ REPRESENTATION THEOREM CHAPTER I THE RIESZ REPRESENTATION THEOREM We begin our study by identifying certain special kinds of linear functionals on certain special vector spaces of functions. We describe these linear functionals

More information

Operations on Sets. Gazihan Alankuş (Based on original slides by Brahim Hnich et al.) August 6, 2012

Operations on Sets. Gazihan Alankuş (Based on original slides by Brahim Hnich et al.) August 6, 2012 on Sets Gazihan Alankuş (Based on original slides by Brahim Hnich et al.) August 6, 2012 Gazihan Alankuş (Based on original slides by Brahim Hnich et al.) on Sets Gazihan Alankuş (Based on original slides

More information

Some Relationships Between Fuzzy Sets, Mathematical Morphology, Rough Sets, F-Transforms, and Formal Concept Analysis

Some Relationships Between Fuzzy Sets, Mathematical Morphology, Rough Sets, F-Transforms, and Formal Concept Analysis International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems Vol. 24, Suppl. 2 (December 2016) 1 32 c World Scientific Publishing Company DOI: 10.1142/S0218488516400080 Some Relationships

More information

MA 180 Lecture. Chapter 0. College Algebra and Calculus by Larson/Hodgkins. Fundamental Concepts of Algebra

MA 180 Lecture. Chapter 0. College Algebra and Calculus by Larson/Hodgkins. Fundamental Concepts of Algebra 0.) Real Numbers: Order and Absolute Value Definitions: Set: is a collection of objections in mathematics Real Numbers: set of numbers used in arithmetic MA 80 Lecture Chapter 0 College Algebra and Calculus

More information

Projection-valued measures and spectral integrals

Projection-valued measures and spectral integrals Projection-valued measures and spectral integrals Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto April 16, 2014 Abstract The purpose of these notes is to precisely define

More information

Logic Synthesis and Verification

Logic Synthesis and Verification Logic Synthesis and Verification Boolean Algebra Jie-Hong Roland Jiang 江介宏 Department of Electrical Engineering National Taiwan University Fall 2014 1 2 Boolean Algebra Reading F. M. Brown. Boolean Reasoning:

More information

HOMOLOGY THEORIES INGRID STARKEY

HOMOLOGY THEORIES INGRID STARKEY HOMOLOGY THEORIES INGRID STARKEY Abstract. This paper will introduce the notion of homology for topological spaces and discuss its intuitive meaning. It will also describe a general method that is used

More information