A Pretopological Approach for Clustering ( )
|
|
- Percival Randall
- 6 years ago
- Views:
Transcription
1 A Pretopological Approach for Clustering ( ) T.V. Le and M. Lamure University Claude Bernard Lyon 1 than-van.le@univ-lyon1.fr, michel.lamure@univ-lyon1.fr Abstract: The aim of this work is to define a clustering algorithm starting from the pretopological results related to the minimal closed subset concepts. However the minimal closed subsets algorithm generally does not lead us to a clustering of the population under interest. Thus, we propose to define a new clustering method, based on this algorithm. Our method involves two steps: the first one consists in structuring the population by the minimal closed subsets method and the second one consists in building a clustering of the population, starting from the previously obtained structuring. This method is tested on data from the CRAM of Lyon and from the emergency service of Hôpital Edouard Herriot of Lyon. Keywords: binary relation, pretopology, minimal closed subset, germ, structuration, classification. 1. Introduction The pretopology is a mathematical tool for the analysis model and construction in the most various fields: social sciences, game theories, graphs, networks, preferences, and mathematisation of discrete spaces. It probably establishes the powerful tools for the structure analysis and automatic classification (Hubert Emptoz 1983, Nicoloyannis N. 1988). It ensures the follow-up of the process s development of dilation, alliance, adherence, closed subset, acceptability (Belmandt Z. 1993, Lamure M. 1987, Duru G. 1980, Auray J. P. 1983). In the problem of data analysis, the pretopology provides us a structural method based on adherence and minimal closed subsets concepts (Belmandt Z. 1993, Bonnevay S. and all. 1999, 2000, Largeron C. and all. 1997). Given a finite set E, the adherence a(.) defined on its subsets has the possibility to express the extension phenomena. Contrarily to what occurs in topology, a(.) is not always a closure, but its successive aggregations lead to produce closed subsets which characterize homogenous or interdependent parts of E. This process is the principal mechanism of this structural method that will be detailed in the paragraph 2. However, this method does not deduce a partition for a given set because the nested groups exist in its structure. We thus propose a new method of automatic classification based on the minimal closed subsets approach and the idea from the germ of k-medoids method (P. Berkhin 2002, Raymond T. Ng and all. 2002). Our approach has two steps: producing minimal closed subsets and then separating the nested groups obtained in the previous step into the distinct groups. Its advantages will be discussed in the paragraph 3. ( ) We gratefully thank CRAM of Lyon and Professor Robert (head of the emergency service) for giving us access to their data
2 2. Pretopology: Basic Concepts 2.1. Pseudoclosure Definition 1 A mapping a(.) from P(E) into P(E) is called a pseudoclosure iff A P(E), a( ) = (1) A P(E), a(a) A (2) By using duality, we can define the interior mapping as follows: Definition 2 Given a pseudoclosure on E, we define the interior mapping by putting: A P(E), i(a) = [a(a c )] c (3) where A c denotes the subset E A. Then, (E, i, a) is said a pretopological space. According to properties of a(.) (and i(.)), we obtain more or less complex pretopological spaces from the most general spaces to topological spaces. Pretopological spaces of V type are the most interesting case. In that case, a(.) fulfills the following property : A P(E), B P(E), A B a(a) a(b) (4) Definition 3 Let (E, i, a) a pretopological space, A a subset of E is said a closed subset iff a(a) = A. Definition 4 Let (E, i, a) a pretopological space, A a subset of E is said an open subset iff i(a) = A. Definition 5 Given (E, i, a) a pretopological space, for any subset A of E, we can consider the whole family of closed subsets of E which contain A. If exist, we determine the smallest element of that family for the including relationship. That element is called the closure of A and denoted F(A) Pretopology and binary relationships Suppose we have a family {R i } i=1..n of binary relationships (quantitative or qualitative) on a set E. In this section, we show how it is possible to define a V pretopological space from the family {R i }. Let us consider for any x E: B i (x) = {y E xr i y} {x}. (5) We call V(x), the family of the neighbourhoods of x, is defined by: V(x) = {V P(E) i, B i (x) V } (6) We can prove that {V(x) x E} is a prefilter of subsets of E, which means: x E, V V(x), / V (7)
3 x E, V V(x), W, W V W V(x). (8) Then from the family V(x), the pseudoclosure a(.) is defined by: A P(E), a(a) = {x E V V(x), V A } or equivalently : (9) A P(E), a(a) = {x E i, B i (x) A } (10) Proposition 1 Given a family {R i } i=1..n of binary relationships on a finite set E, the pretopological space(e, i, a) defined by using the pseudoclosure a(.) defined above is a V one. The reason for using the spaces of type V is that we can build them from a family of reflexive binary relations on the finite set E. That thus makes it possible to take various points of view (various relations) expressed in a qualitative way to determine the pretopological structure placed on E. The space of type V is the starting point for the definition of a classification of E Elementary closed subsets, minimal closed subsets We recall in a pretopological space (E, i, a), a subset K of E is a closed subset of E if and only if a(k) = K. And the smallest closed subset containing A is the closure of A. We get the following result: Proposition 2 In any pretopological space of type V, given a subset A of E, the closure of A always exists. We denote F e the family of elementary closed subset the set of closures of each singleton {x} of P(E). So in a V pretopological space, we get: - x E, F x : closure of{x} - F e = {F x x E} Definition 6 F is called a minimal closed subset if and only if F is a minimal element for inclusion in F e. In view to determine how E is structured by the pseudoclosure a(.), we use the concept of minimal closed subsets according to the following algorithm: Given the pseudoclosure a(.), we search for F e into E the following function provides the result. F e = ; for all x Edo{ F x = a({x}); W hile (a(f x ) F x )F x = a(f x ); If(F x / F e )F e = F e F x ; }
4 Then, we are able to determine the minimal closed subsets by using the following function by noting that we only need to extract these minimal closed subsets from F e (Bonnevay S.1999,2000). F m = ; While(F e ){ Choose F F e ; F e = F e {F }; minimal = true; K = F e ; While((K ) (minimal)){ Choose G K; If(G F )minimal = false; Else if(f G)F e = F e {G}; K = K G; } If((minimal == true)&& (F / F m )) F m = F m F ; } Figure 1: Example of structuration method. F m F e Example: In order to illustrate our method, we present the following example, E= 1,., 10, n=10, and given x, x = (x 1, x 2 ) and y, y = (y 1, y 2 ), we put xry iff (y2 y1) 0 and d(x, y) ε, for a given ε. (see Table 1). R(x) = {y E (y2 y1) 0, d(x, y) 2} Table 1: x x 1 x 2 R(x) a(x) = {y E F x a(x) R({y}) {x} = } ,2,3 1 1* ,3 1,2,3 1,2, ,3 1,2,3 1,2, ,5,7 4,5 4,5* ,5,6 4,5 4,5* 2
5 Table 1: (continued) ,6 4,5, ,7 4,5, ,9 8,9 8,9* ,9,10,11 8,9 8,9* ,11,12 9,10 8,9, ,12 9,10,11 8,9,10, ,13,15 10,11,12,13 8,9,10,11,12,13, ,13 12,13,14 8,9,10,11,12,13, , * ,16 12,15,16 8,9,10,11,12,13,14,15, ,16 15,16 8,9,10,11,12,13,14,15,16 2 Using the structural method based on the minimal closed subset concept, we get the following result : Figure 2: Structuring process. The final structure shown in figure 2 is obtained as follows: In the first step, we get the minimal closed subsets {{1}, {4, 5}, {8, 9}, {14}} (the greyest areas in the above picture). Afterwards, we get the smallest elementary closed subsets which contain the minimal ones: {{1, 2, 3}, {4, 5, 6}, {4, 5, 7}, {8, 9, 10}}. And so on: {8, 9, 10, 11}, {8, 9, 10, 11, 12, 13, 14},{8, 9, 10, 11, 12, 13, 14, 15 16}. In the above table and image, we note that the sets marked by stars (*) are minimal element forming homogeneous groups of the population. They cannot transfer the poison to the other elements but they are influenced by the ones of the group which contains them. The advantage of this method is to help us to analyze the connection between the elements in discrete space. However, this method only provides a clustering of E in the case which the relationship between elements of E is a symmetric one. In many practical situations, it is not the case, so we propose using this minimal closed subsets algorithm as a pre-treatment for classical clustering methods, in particular for the K-medoids method. Two possible cases can thus occur at the end of the minimal closed subsets algorithm: F m provides a partition of E. The clustering is obtained. F m does not provide a partition of E. In this case, we must perform the second step in order to build a clustering based on the result obtained by the previous stage.
6 3. Our pretopological clustering method As we previously said, the minimal closed subsets algorithm generally does not provide a partition of the whole set E. However, in its first step, it provides the minimal closed subsets which play an important in the structuring process. So, this gives us the idea to use these minimal closed subsets as germs for the K-medoids method. The problem is that K-medoids methods use singletons as germs. As minimal closed subsets are not generally singletons (see the previous example), the first thing we have to deal with is to select one and only element in each minimal closed subset if needed Determining germs Let us recall some notations: - F m : family of minimal closed subsets. - F e = {F x x E}: family of elementary closed subsets - a({x}) = {y E R({y}) {x} = } Two possibilities can occur: F ({x}) = F m ({x}) = {x}, x is a germ of class F ({x}) = F m ({x}) = {x 1, x 2,..., x p }. Calculate a({x i }), for i = 1,...,p. Select x o such as a({x o }) = Max( a({x o }) ), for i = 1,...,p. In case where two such x o exist, the germ is randomly chosen, else, we continue by calculating a measurement dispersion τ x associated to a possible germ x. Case 1: Data are quantitative ones and we can define a metric d on the set E. For any subset A of E, for any x, x A, we compute τ x = d(x, y), and we y A, y x select the germ by taking x o such as τ xo = Min({τ x, x A}). Case 2: Data are qualitative ones and any element x can be represented by a binary string, by mean of a completely disjunctive table. We compute BitOne(x&&y) τ xy = where BitOne(x) returns the number of bit 1 in BitOne(x)+BitOne(y) z the binary string which represents x. Then, we select the germ by taking x o such as τ xo = Max({τ xy }, y A, y x). After having found the germ e for each class influenced by x, we choose the class to affect x to which such as the dispersion measurement between x and e is the most reasonable by the assignment approach The assignment approach Initialization: - G = F m = {G j }, F em = F e F m = {Fem}, i j = 1,.., F m, i = 1,.., F em ; - Sort F em ascending within the meaning of inclusion; - i=1 ; 1. Compute K = {G j G j Fem i }, H = Fem i G j. G j K
7 2. If K = 1, put G j = G j H and go to step 4, else go to step x H, calculate e(g j ), compute τ(x, e(g j ), G j K) affect x to G k such as : τ(x, e(g k )) = Min({τ x,e(gj )}), Case 1 τ(x, e(g k )) = Max({τ x,e(gj )}), Case 2 e(g j ) is the germ determined in G j. 4. F em = F em F i em. If F em =, stop, else, i = i + 1 and go to step 1. At the issue, G is a partition of E. In order to have a better understanding of this algorithm, let us return to the previous example. Initialization : - G = F m = {{1}, {14}, {4, 5}, {8, 9}} - F em = {{1, 2, 3}, {4, 5, 6}, {4, 5, 7}, {8, 9, 10}, {8, 9, 10, 11}, {8, 9, 10, 11, 12, 13, 14}, {8, 9, 10, 11, 12, 13, 14, 15, 16} 1. F 1 em = {1, 2, 3}, K = {1}, H = {2, 3}. Affect all elements of H to G 1, G 1 = {1, 2, 3}, F em = F em F 1 em 2. F 1 em = {4, 5, 6}, K = {4, 5}, H = {6}. Affect all elements of H to G 3, G 3 = {4, 5, 6}, F em = F em F 1 em F 1 em = {8, 9, 10, 11}, K = {8, 9, 10}, H = {11}. Affect all elements of H to G 4, G 4 = {8, 9, 10, 11}, F em = F em F 1 em 5. F 1 em = 8, 9, 10, 11, 12, 13, 14, K = {{14}, {8, 9, 10, 11}} τ(12, 11) < τ(12, 14) => affect {12} to G 4 τ(13, 14) < τ(13, 11) => affect {13} to G 2 G 2 = {13, 14}, G 4 = {8, 9, 10, 11, 12}, e(g 2 ) = {13}, e(g 4 ) = {12} Result : G={{1,2,3},{4,5,6,7},{8,9,10,11,12,15,16},{13,14}} (see Figure 2). Figure 3: Clustering process. What are advantages of this method? - First, it provides a clustering of the population, - Second, the number of classes (the number of minimal closed subsets) is computed by the method while it must be chosen by the user in other methods as the k-medoids method. - Last, the germ of class is easy to extract from minimal closed subsets.
8 4. Conclusion This article present a new method for clustering based on the concept of minimal closed subsets of pretopology. Pretopology helps us to analyze the structure of a finite set in discrete space but it generally does not provide a clustering. This restriction is solved by the second stage of this method defining a concept of germ from which a clustering process is build. This new method gives us a possibility for making-decision in the field of social sciences where data often are complex and cannot lead us to consider metric spaces as representing the population. One typical example for applying that kind of method is the analysis of data from medico-economic bases as DRGs. References Abdul-Amier Hashom (1982) Plus proches voisins et classification automatique. Applications a des donnees industrielles, Thèse Th. Doct. 3e cycle Mathematiques des systemes : INSA Lyon. Auray J. P. (1983) Contribution à l analyse des structures pauvres, Thèse d Etat, Université Lyon 1. Belmandt Z. (1993) Manuel de prétopologie et ses applications, Edition Hermès. Bonnevay S., Lamure M., Largeron-Leteno C., Niconoyannis N. (1999) A pretopological approach for structuring data in non metric space, in: Electronic Notes in Discrete Mathematics, Melvin F. Janowitz, Elsevier Science Publishers, 2. Bonnevay S., Largeron C. (2000) Data analysis based on minimal closed subsets, in: Data Analysis, Classification and Related Methods, Kiers et al. editors, Springer, Duru G. (1980) Contribution à l étude des structures des systèmes complexes dans les sciences humaines, Thèse d Etat, Université Lyon 1. Hubert Emptoz (1983) Modèle prétopologique pour la reconnaissance des formes. Applications en neurophysiologie, Thèse : Th. Sc. Univ. Cl. Bernard. Lyon I. Lamure M. (1987) Contribution à l analyse des espaces abstraits - application aux images digitales, Thèse d Etat, Université Lyon 1. Largeron C., Bonnevay S. (1997) Une méthode de structuration par recherche de fermés minimaux. Application à la modélisation de flux de migrations inter-villes, in: Société Francophone de Classification 97, Nicoloyannis N. (1988) Structure prétopologiques et classification automatique: le logiciel DEMON, Thèse Lyon. P. Berkhin (2002) Survey of clustering data mining techniques. Raymond T. Ng and Jiawei Han (2002) CLARANS: A Method for Clustering Objects for Spatial Data Mining, in: IEEE transaction on knowledge and data engineering,14,5.
A pretopological approach for structural analysis
1 pretopological approach for structural analysis Christine LRGERON, Stéphane BONNEVY Université Claude Bernard Lyon I UMR CNRS 5823 - bât 101-43, boulevard du 11/11/1918 69 622 VILLEURBNNE Cedex tel :
More informationLogic and Discrete Mathematics. Section 2.5 Equivalence relations and partitions
Logic and Discrete Mathematics Section 2.5 Equivalence relations and partitions Slides version: January 2015 Equivalence relations Let X be a set and R X X a binary relation on X. We call R an equivalence
More informationData Structures and Algorithms for Pretopology: the JAVA based software library PretopoLib
Data Structures and Algorithms for Pretopology: the JAVA based software library PretopoLib Vincent Levorato, Marc Bui To cite this version: Vincent Levorato, Marc Bui. Data Structures and Algorithms for
More informationInfinite locally random graphs
Infinite locally random graphs Pierre Charbit and Alex D. Scott Abstract Motivated by copying models of the web graph, Bonato and Janssen [3] introduced the following simple construction: given a graph
More informationThe Application of K-medoids and PAM to the Clustering of Rules
The Application of K-medoids and PAM to the Clustering of Rules A. P. Reynolds, G. Richards, and V. J. Rayward-Smith School of Computing Sciences, University of East Anglia, Norwich Abstract. Earlier research
More informationEnumerating Pseudo-Intents in a Partial Order
Enumerating Pseudo-Intents in a Partial Order Alexandre Bazin and Jean-Gabriel Ganascia Université Pierre et Marie Curie, Laboratoire d Informatique de Paris 6 Paris, France Alexandre.Bazin@lip6.fr Jean-Gabriel@Ganascia.name
More informationPower Set of a set and Relations
Power Set of a set and Relations 1 Power Set (1) Definition: The power set of a set S, denoted P(S), is the set of all subsets of S. Examples Let A={a,b,c}, P(A)={,{a},{b},{c},{a,b},{b,c},{a,c},{a,b,c}}
More informationOpen and Closed Sets
Open and Closed Sets Definition: A subset S of a metric space (X, d) is open if it contains an open ball about each of its points i.e., if x S : ɛ > 0 : B(x, ɛ) S. (1) Theorem: (O1) and X are open sets.
More informationAcyclic fuzzy preferences and the Orlovsky choice function: A note. Denis BOUYSSOU
Acyclic fuzzy preferences and the Orlovsky choice function: A note Denis BOUYSSOU Abstract This note corrects and extends a recent axiomatic characterization of the Orlovsky choice function for a particular
More informationA Little Point Set Topology
A Little Point Set Topology A topological space is a generalization of a metric space that allows one to talk about limits, convergence, continuity and so on without requiring the concept of a distance
More informationGraphes: Manipulations de base et parcours
Graphes: Manipulations de base et parcours Michel Habib habib@liafa.univ-paris-diderot.fr http://www.liafa.univ-paris-diderot.fr/~habib Cachan, décembre 2013 Notations Here we deal with finite loopless
More informationLectures on Order and Topology
Lectures on Order and Topology Antonino Salibra 17 November 2014 1 Topology: main definitions and notation Definition 1.1 A topological space X is a pair X = ( X, OX) where X is a nonempty set and OX is
More informationAn Incremental Hierarchical Clustering
An Incremental Hierarchical Clustering Arnaud Ribert, Abdel Ennaji, Yves Lecourtier P.S.I. Faculté des Sciences, Université de Rouen 76 81 Mont Saint Aignan Cédex, France Arnaud.Ribert@univ-rouen.fr Abstract
More informationI. An introduction to Boolean inverse semigroups
I. An introduction to Boolean inverse semigroups Mark V Lawson Heriot-Watt University, Edinburgh June 2016 1 0. In principio The monograph J. Renault, A groupoid approach to C - algebras, Lecture Notes
More informationarxiv: v2 [math.co] 13 Aug 2013
Orthogonality and minimality in the homology of locally finite graphs Reinhard Diestel Julian Pott arxiv:1307.0728v2 [math.co] 13 Aug 2013 August 14, 2013 Abstract Given a finite set E, a subset D E (viewed
More informationISSN X (print) COMPACTNESS OF S(n)-CLOSED SPACES
Matematiqki Bilten ISSN 0351-336X (print) 41(LXVII) No. 2 ISSN 1857-9914 (online) 2017(30-38) UDC: 515.122.2 Skopje, Makedonija COMPACTNESS OF S(n)-CLOSED SPACES IVAN LONČAR Abstract. The aim of this paper
More informationTopological properties of convex sets
Division of the Humanities and Social Sciences Ec 181 KC Border Convex Analysis and Economic Theory Winter 2018 Topic 5: Topological properties of convex sets 5.1 Interior and closure of convex sets Let
More information2.8. Connectedness A topological space X is said to be disconnected if X is the disjoint union of two non-empty open subsets. The space X is said to
2.8. Connectedness A topological space X is said to be disconnected if X is the disjoint union of two non-empty open subsets. The space X is said to be connected if it is not disconnected. A subset of
More informationON DECOMPOSITION OF FUZZY BԐ OPEN SETS
ON DECOMPOSITION OF FUZZY BԐ OPEN SETS 1 B. Amudhambigai, 2 K. Saranya 1,2 Department of Mathematics, Sri Sarada College for Women, Salem-636016, Tamilnadu,India email: 1 rbamudha@yahoo.co.in, 2 saranyamath88@gmail.com
More informationCS 341 Homework 1 Basic Techniques
CS 341 Homework 1 Basic Techniques 1. What are these sets? Write them using braces, commas, numerals, (for infinite sets), and only. (a) ({1, 3, 5} {3, 1}) {3, 5, 7} (b) {{3}, {3, 5}, {{5, 7}, {7, 9}}}
More informationBinary Relations McGraw-Hill Education
Binary Relations A binary relation R from a set A to a set B is a subset of A X B Example: Let A = {0,1,2} and B = {a,b} {(0, a), (0, b), (1,a), (2, b)} is a relation from A to B. We can also represent
More informationROUGH MEMBERSHIP FUNCTIONS: A TOOL FOR REASONING WITH UNCERTAINTY
ALGEBRAIC METHODS IN LOGIC AND IN COMPUTER SCIENCE BANACH CENTER PUBLICATIONS, VOLUME 28 INSTITUTE OF MATHEMATICS POLISH ACADEMY OF SCIENCES WARSZAWA 1993 ROUGH MEMBERSHIP FUNCTIONS: A TOOL FOR REASONING
More informationA set with only one member is called a SINGLETON. A set with no members is called the EMPTY SET or 2 N
Mathematical Preliminaries Read pages 529-540 1. Set Theory 1.1 What is a set? A set is a collection of entities of any kind. It can be finite or infinite. A = {a, b, c} N = {1, 2, 3, } An entity is an
More informationT. Background material: Topology
MATH41071/MATH61071 Algebraic topology Autumn Semester 2017 2018 T. Background material: Topology For convenience this is an overview of basic topological ideas which will be used in the course. This material
More informationGenerell Topologi. Richard Williamson. May 6, 2013
Generell Topologi Richard Williamson May 6, 2013 1 8 Thursday 7th February 8.1 Using connectedness to distinguish between topological spaces I Proposition 8.1. Let (, O ) and (Y, O Y ) be topological spaces.
More informationOnline Appendix: Generalized Topologies
Supplementary Electronic Materials for Genotype-Phenotype Maps Peter F Stadler and Bärbel MR Stadler Biological Theory (3) 2006, 268-279. Online Appendix: Generalized Topologies In the last years there
More informationCSC Discrete Math I, Spring Sets
CSC 125 - Discrete Math I, Spring 2017 Sets Sets A set is well-defined, unordered collection of objects The objects in a set are called the elements, or members, of the set A set is said to contain its
More informationMATH 54 - LECTURE 10
MATH 54 - LECTURE 10 DAN CRYTSER The Universal Mapping Property First we note that each of the projection mappings π i : j X j X i is continuous when i X i is given the product topology (also if the product
More information= [ U 1 \ U 2 = B \ [ B \ B.
5. Mon, Sept. 8 At the end of class on Friday, we introduced the notion of a topology, and I asked you to think about how many possible topologies there are on a 3-element set. The answer is... 29. The
More informationData Structures and Algorithms for Pretopology: The JAVA based softwarelibrary PretopoLib
Data Structures and Algorithms for Pretopology: The JAVA based softwarelibrary PretopoLib Vincent Levorato and Marc Bui LaISC -Laboratoire d Informatique et des Systèmes Complexes 41, rue Gay Lussac, 75005
More informationLecture 6,
Lecture 6, 4.16.2009 Today: Review: Basic Set Operation: Recall the basic set operator,!. From this operator come other set quantifiers and operations:!,!,!,! \ Set difference (sometimes denoted, a minus
More informationCharacterization of Super Strongly Perfect Graphs in Chordal and Strongly Chordal Graphs
ISSN 0975-3303 Mapana J Sci, 11, 4(2012), 121-131 https://doi.org/10.12725/mjs.23.10 Characterization of Super Strongly Perfect Graphs in Chordal and Strongly Chordal Graphs R Mary Jeya Jothi * and A Amutha
More informationCharacterization of Boolean Topological Logics
Characterization of Boolean Topological Logics Short Form: Boolean Topological Logics Anthony R. Fressola Denison University Granville, OH 43023 University of Illinois Urbana-Champaign, IL USA 61801-61802
More informationChapter 2 Topological Spaces and Continuity
Chapter 2 Topological Spaces and Continuity Starting from metric spaces as they are familiar from elementary calculus, one observes that many properties of metric spaces like the notions of continuity
More informationON BINARY TOPOLOGICAL SPACES
Pacific-Asian Journal of Mathematics, Volume 5, No. 2, July-December 2011 ON BINARY TOPOLOGICAL SPACES S. NITHYANANTHA JOTHI & P. THANGAVELU ABSTRACT: Recently the authors introduced the concept of a binary
More informationElementary Topology. Note: This problem list was written primarily by Phil Bowers and John Bryant. It has been edited by a few others along the way.
Elementary Topology Note: This problem list was written primarily by Phil Bowers and John Bryant. It has been edited by a few others along the way. Definition. properties: (i) T and X T, A topology on
More informationA. Benali 1, H. Dermèche 2, E. Zigh1 1, 2 1 National Institute of Telecommunications and Information Technologies and Communications of Oran
Elimination of False Detections by Mathematical Morphology for a Semi-automatic Buildings Extraction of Multi Spectral Urban Very High Resolution IKONOS Images A. Benali 1, H. Dermèche 2, E. Zigh1 1, 2
More informationKernel perfect and critical kernel imperfect digraphs structure
Kernel perfect and critical kernel imperfect digraphs structure Hortensia Galeana-Sánchez, Mucuy-Kak Guevara To cite this version: Hortensia Galeana-Sánchez, Mucuy-Kak Guevara. Kernel perfect and critical
More informationAbout the Tutorial. Audience. Prerequisites. Copyright & Disclaimer. Discrete Mathematics
About the Tutorial Discrete Mathematics is a branch of mathematics involving discrete elements that uses algebra and arithmetic. It is increasingly being applied in the practical fields of mathematics
More information1 Matchings in Graphs
Matchings in Graphs J J 2 J 3 J 4 J 5 J J J 6 8 7 C C 2 C 3 C 4 C 5 C C 7 C 8 6 J J 2 J 3 J 4 J 5 J J J 6 8 7 C C 2 C 3 C 4 C 5 C C 7 C 8 6 Definition Two edges are called independent if they are not adjacent
More informationarxiv: v3 [math.co] 25 Jun 2011
Seymour s second neighborhood conjecture for tournaments missing a generalized star Salman GHAZAL 1 arxiv:1106.0085v3 [math.co] 25 Jun 2011 Abstract Seymour s Second Neighborhood Conjecture asserts that
More informationHowever, this is not always true! For example, this fails if both A and B are closed and unbounded (find an example).
98 CHAPTER 3. PROPERTIES OF CONVEX SETS: A GLIMPSE 3.2 Separation Theorems It seems intuitively rather obvious that if A and B are two nonempty disjoint convex sets in A 2, then there is a line, H, separating
More informationINTRODUCTION Joymon Joseph P. Neighbours in the lattice of topologies Thesis. Department of Mathematics, University of Calicut, 2003
INTRODUCTION Joymon Joseph P. Neighbours in the lattice of topologies Thesis. Department of Mathematics, University of Calicut, 2003 INTRODUCTION The collection C(X) of all topologies on a fixed non-empty
More informationOn Generalizing Rough Set Theory
On Generalizing Rough Set Theory Y.Y. Yao Department of Computer Science, University of Regina Regina, Saskatchewan, Canada S4S 0A2 E-mail: yyao@cs.uregina.ca Abstract. This paper summarizes various formulations
More informationSlides for Faculty Oxford University Press All rights reserved.
Oxford University Press 2013 Slides for Faculty Assistance Preliminaries Author: Vivek Kulkarni vivek_kulkarni@yahoo.com Outline Following topics are covered in the slides: Basic concepts, namely, symbols,
More informationGeneralized Infinitive Rough Sets Based on Reflexive Relations
2012 IEEE International Conference on Granular Computing Generalized Infinitive Rough Sets Based on Reflexive Relations Yu-Ru Syau Department of Information Management National Formosa University Huwei
More informationA Note on Fuzzy Boundary of Fuzzy Bitopological Spaces on the Basis of Reference Function
Advances in Fuzzy Mathematics. ISSN 0973-533X Volume 12, Number 3 (2017), pp. 639-644 Research India Publications http://www.ripublication.com A Note on Fuzzy Boundary of Fuzzy Bitopological Spaces on
More information[Ch 6] Set Theory. 1. Basic Concepts and Definitions. 400 lecture note #4. 1) Basics
400 lecture note #4 [Ch 6] Set Theory 1. Basic Concepts and Definitions 1) Basics Element: ; A is a set consisting of elements x which is in a/another set S such that P(x) is true. Empty set: notated {
More informationTopology Homework 3. Section Section 3.3. Samuel Otten
Topology Homework 3 Section 3.1 - Section 3.3 Samuel Otten 3.1 (1) Proposition. The intersection of finitely many open sets is open and the union of finitely many closed sets is closed. Proof. Note that
More informationThe optimal routing of augmented cubes.
The optimal routing of augmented cubes. Meirun Chen, Reza Naserasr To cite this version: Meirun Chen, Reza Naserasr. The optimal routing of augmented cubes.. Information Processing Letters, Elsevier, 28.
More informationINTRODUCTION TO TOPOLOGY
INTRODUCTION TO TOPOLOGY MARTINA ROVELLI These notes are an outline of the topics covered in class, and are not substitutive of the lectures, where (most) proofs are provided and examples are discussed
More informationA step towards the Bermond-Thomassen conjecture about disjoint cycles in digraphs
A step towards the Bermond-Thomassen conjecture about disjoint cycles in digraphs Nicolas Lichiardopol Attila Pór Jean-Sébastien Sereni Abstract In 1981, Bermond and Thomassen conjectured that every digraph
More informationAntisymmetric Relations. Definition A relation R on A is said to be antisymmetric
Antisymmetric Relations Definition A relation R on A is said to be antisymmetric if ( a, b A)(a R b b R a a = b). The picture for this is: Except For Example The relation on R: if a b and b a then a =
More informationOn Soft Topological Linear Spaces
Republic of Iraq Ministry of Higher Education and Scientific Research University of AL-Qadisiyah College of Computer Science and Formation Technology Department of Mathematics On Soft Topological Linear
More informationJournal of Asian Scientific Research WEAK SEPARATION AXIOMS VIA OPEN SET AND CLOSURE OPERATOR. Mustafa. H. Hadi. Luay. A. Al-Swidi
Journal of Asian Scientific Research Special Issue: International Conference on Emerging Trends in Scientific Research, 2014 journal homepage: http://www.aessweb.com/journals/5003 WEAK SEPARATION AXIOMS
More informationXML Document Classification using SVM
XML Document Classification using SVM Samaneh Chagheri, Catherine Roussey, Sylvie Calabretto, Cyril Dumoulin To cite this version: Samaneh Chagheri, Catherine Roussey, Sylvie Calabretto, Cyril Dumoulin.
More informationChapter 11. Topological Spaces: General Properties
11.1. Open Sets, Closed Sets, Bases, and Subbases 1 Chapter 11. Topological Spaces: General Properties Section 11.1. Open Sets, Closed Sets, Bases, and Subbases Note. In this section, we define a topological
More informationComplexity Theory. Compiled By : Hari Prasad Pokhrel Page 1 of 20. ioenotes.edu.np
Chapter 1: Introduction Introduction Purpose of the Theory of Computation: Develop formal mathematical models of computation that reflect real-world computers. Nowadays, the Theory of Computation can be
More informationTopology 550A Homework 3, Week 3 (Corrections: February 22, 2012)
Topology 550A Homework 3, Week 3 (Corrections: February 22, 2012) Michael Tagare De Guzman January 31, 2012 4A. The Sorgenfrey Line The following material concerns the Sorgenfrey line, E, introduced in
More informationTHREE LECTURES ON BASIC TOPOLOGY. 1. Basic notions.
THREE LECTURES ON BASIC TOPOLOGY PHILIP FOTH 1. Basic notions. Let X be a set. To make a topological space out of X, one must specify a collection T of subsets of X, which are said to be open subsets of
More informationIntuitionistic Fuzzy g # Closed Sets
Intuitionistic Fuzzy g # Closed Sets 1 S.Abhirami, 2 R.Dhavaseelan Department of Mathematics Sona College of Technology, Salem-636005, Tamilnadu, India 1 E-mail:abhiramishanmugasundaram@gmail.com 2 E-mail:dhavaseelan.r@gmail.com
More information9/19/12. Why Study Discrete Math? What is discrete? Sets (Rosen, Chapter 2) can be described by discrete math TOPICS
What is discrete? Sets (Rosen, Chapter 2) TOPICS Discrete math Set Definition Set Operations Tuples Consisting of distinct or unconnected elements, not continuous (calculus) Helps us in Computer Science
More informationM3P1/M4P1 (2005) Dr M Ruzhansky Metric and Topological Spaces Summary of the course: definitions, examples, statements.
M3P1/M4P1 (2005) Dr M Ruzhansky Metric and Topological Spaces Summary of the course: definitions, examples, statements. Chapter 1: Metric spaces and convergence. (1.1) Recall the standard distance function
More informationSoft Regular Generalized Closed Sets in Soft Topological Spaces
Int. Journal of Math. Analysis, Vol. 8, 2014, no. 8, 355-367 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/ijma.2014.4125 Soft Regular Generalized Closed Sets in Soft Topological Spaces Şaziye
More informationA Decision-Theoretic Rough Set Model
A Decision-Theoretic Rough Set Model Yiyu Yao and Jingtao Yao Department of Computer Science University of Regina Regina, Saskatchewan, Canada S4S 0A2 {yyao,jtyao}@cs.uregina.ca Special Thanks to Professor
More information9.5 Equivalence Relations
9.5 Equivalence Relations You know from your early study of fractions that each fraction has many equivalent forms. For example, 2, 2 4, 3 6, 2, 3 6, 5 30,... are all different ways to represent the same
More informationRough Connected Topologized. Approximation Spaces
International Journal o Mathematical Analysis Vol. 8 04 no. 53 69-68 HIARI Ltd www.m-hikari.com http://dx.doi.org/0.988/ijma.04.4038 Rough Connected Topologized Approximation Spaces M. J. Iqelan Department
More informationA metric space is a set S with a given distance (or metric) function d(x, y) which satisfies the conditions
1 Distance Reading [SB], Ch. 29.4, p. 811-816 A metric space is a set S with a given distance (or metric) function d(x, y) which satisfies the conditions (a) Positive definiteness d(x, y) 0, d(x, y) =
More informationChapter 3: Propositional Languages
Chapter 3: Propositional Languages We define here a general notion of a propositional language. We show how to obtain, as specific cases, various languages for propositional classical logic and some non-classical
More informationSoft Pre Generalized - Closed Sets in a Soft Topological Space
Soft Pre Generalized - Closed Sets in a Soft Topological Space J.Subhashinin 1, Dr.C.Sekar 2 Abstract 1 Department of Mathematics, VV College of Engineering, Tisayanvilai- INDIA. 2 Department of Mathematics,
More informationWeighted Geodetic Convex Sets in A Graph
IOSR Journal of Mathematics (IOSR-JM) e-issn: 2278-5728, p-issn: 2319-765X. PP 12-17 www.iosrjournals.org Weighted Geodetic Convex Sets in A Graph Jill K. Mathew 1 Department of Mathematics Mar Ivanios
More informationData Mining Algorithms
for the original version: -JörgSander and Martin Ester - Jiawei Han and Micheline Kamber Data Management and Exploration Prof. Dr. Thomas Seidl Data Mining Algorithms Lecture Course with Tutorials Wintersemester
More informationSection 17. Closed Sets and Limit Points
17. Closed Sets and Limit Points 1 Section 17. Closed Sets and Limit Points Note. In this section, we finally define a closed set. We also introduce several traditional topological concepts, such as limit
More informationThe Further Mathematics Support Programme
Degree Topics in Mathematics Groups A group is a mathematical structure that satisfies certain rules, which are known as axioms. Before we look at the axioms, we will consider some terminology. Elements
More informationNICOLAS BOURBAKI ELEMENTS OF MATHEMATICS. General Topology. Chapters 1-4. Springer-Verlag Berlin Heidelberg New York London Paris Tokyo
NICOLAS BOURBAKI ELEMENTS OF MATHEMATICS General Topology Chapters 1-4 Springer-Verlag Berlin Heidelberg New York London Paris Tokyo ADVICE TO THE READER v CONTENTS OF THE ELEMENTS OF MATHEMATICS SERIES
More informationTowards a Logical Reconstruction of Relational Database Theory
Towards a Logical Reconstruction of Relational Database Theory On Conceptual Modelling, Lecture Notes in Computer Science. 1984 Raymond Reiter Summary by C. Rey November 27, 2008-1 / 63 Foreword DB: 2
More informationLeft and right compatibility of strict orders with fuzzy tolerance and fuzzy equivalence relations
16th World Congress of the International Fuzzy Systems Association (IFSA) 9th Conference of the European Society for Fuzzy Logic and Technology (EUSFLAT) Left and right compatibility of strict orders with
More informationReal Analysis, 2nd Edition, G.B.Folland
Real Analysis, 2nd Edition, G.B.Folland Chapter 4 Point Set Topology Yung-Hsiang Huang 4.1 Topological Spaces 1. If card(x) 2, there is a topology on X that is T 0 but not T 1. 2. If X is an infinite set,
More informationMath 170- Graph Theory Notes
1 Math 170- Graph Theory Notes Michael Levet December 3, 2018 Notation: Let n be a positive integer. Denote [n] to be the set {1, 2,..., n}. So for example, [3] = {1, 2, 3}. To quote Bud Brown, Graph theory
More informationCompactness in Countable Fuzzy Topological Space
Compactness in Countable Fuzzy Topological Space Apu Kumar Saha Assistant Professor, National Institute of Technology, Agartala, Email: apusaha_nita@yahoo.co.in Debasish Bhattacharya Associate Professor,
More informationOn Some Properties of Vague Lattices
Int. J. Contemp. Math. Sciences, Vol. 4, 2009, no. 31, 1511-1524 On Some Properties of Vague Lattices Zeynep Eken Akdeniz University, Faculty of Sciences and Arts Department of Mathematics, 07058-Antalya,
More informationTopology Between Two Sets
Journal of Mathematical Sciences & Computer Applications 1 (3): 95 107, 2011 doi: 10.5147/jmsca.2011.0071 Topology Between Two Sets S. Nithyanantha Jothi 1 and P. Thangavelu 2* 1 Department of Mathematics,
More informationVisual tools to select a layout for an adapted living area
Visual tools to select a layout for an adapted living area Sébastien AUPETIT, Arnaud PURET, Pierre GAUCHER, Nicolas MONMARCHÉ and Mohamed SLIMANE Université François Rabelais Tours, Laboratoire d Informatique,
More information1. Draw the state graphs for the finite automata which accept sets of strings composed of zeros and ones which:
P R O B L E M S Finite Autom ata. Draw the state graphs for the finite automata which accept sets of strings composed of zeros and ones which: a) Are a multiple of three in length. b) End with the string
More informationRough Sets, Neighborhood Systems, and Granular Computing
Rough Sets, Neighborhood Systems, and Granular Computing Y.Y. Yao Department of Computer Science University of Regina Regina, Saskatchewan, Canada S4S 0A2 E-mail: yyao@cs.uregina.ca Abstract Granulation
More informationCHAPTER 3 FUZZY RELATION and COMPOSITION
CHAPTER 3 FUZZY RELATION and COMPOSITION Crisp relation! Definition (Product set) Let A and B be two non-empty sets, the prod uct set or Cartesian product A B is defined as follows, A B = {(a, b) a A,
More informationApplication of the topological gradient method to color image restoration and classification
Application of the topological gradient method to color image restoration and classification Didier Auroux a Lamia Jaafar Belaid b a Institut de Mathématiques de Toulouse, Université Paul Sabatier Toulouse
More informationTOWARDS FORMING THE FIELD OF FUZZY CLOSURE WITH REFERENCE TO FUZZY BOUNDARY
TOWARDS FORMING THE FIELD OF FUZZY CLOSURE WITH REFERENCE TO FUZZY BOUNDARY Bhimraj Basumatary Department of Mathematical Sciences, Bodoland University Kokrajhar, BTC, Assam, India, 783370 brbasumatary14@gmail.com
More informationThis article was originally published in a journal published by Elsevier, and the attached copy is provided by Elsevier for the author s benefit and for the benefit of the author s institution, for non-commercial
More informationSOME REMARKS CONCERNING D METRIC SPACES
SOME REMARKS CONCERNING D METRIC SPACES Zead Mustafa and Brailey Sims November 2003 Abstract In this note we make some remarks concerning D metric spaces, and present some examples which show that many
More informationThe Set-Open topology
Volume 37, 2011 Pages 205 217 http://topology.auburn.edu/tp/ The Set-Open topology by A. V. Osipov Electronically published on August 26, 2010 Topology Proceedings Web: http://topology.auburn.edu/tp/ Mail:
More informationSolutions to Homework 10
CS/Math 240: Intro to Discrete Math 5/3/20 Instructor: Dieter van Melkebeek Solutions to Homework 0 Problem There were five different languages in Problem 4 of Homework 9. The Language D 0 Recall that
More informationComplete Bipartite Graphs with No Rainbow Paths
International Journal of Contemporary Mathematical Sciences Vol. 11, 2016, no. 10, 455-462 HIKARI Ltd, www.m-hikari.com https://doi.org/10.12988/ijcms.2016.6951 Complete Bipartite Graphs with No Rainbow
More informationChapter 1. Preliminaries
Chapter 1 Preliminaries 1.1 Topological spaces 1.1.1 The notion of topological space The topology on a set X is usually defined by specifying its open subsets of X. However, in dealing with topological
More informationTopology and Topological Spaces
Topology and Topological Spaces Mathematical spaces such as vector spaces, normed vector spaces (Banach spaces), and metric spaces are generalizations of ideas that are familiar in R or in R n. For example,
More informationACLT: Algebra, Categories, Logic in Topology - Grothendieck's generalized topological spaces (toposes)
ACLT: Algebra, Categories, Logic in Topology - Grothendieck's generalized topological spaces (toposes) Steve Vickers CS Theory Group Birmingham 1. Sheaves "Sheaf = continuous set-valued map" TACL Tutorial
More informationThe Connectivity Order of Links
The Connectivity Order of Links Stéphane Dugowson To cite this version: Stéphane Dugowson. The Connectivity Order of Links. 4 pages, 2 figures. 2008. HAL Id: hal-00275717 https://hal.archives-ouvertes.fr/hal-00275717
More informationPoint-Set Topology 1. TOPOLOGICAL SPACES AND CONTINUOUS FUNCTIONS
Point-Set Topology 1. TOPOLOGICAL SPACES AND CONTINUOUS FUNCTIONS Definition 1.1. Let X be a set and T a subset of the power set P(X) of X. Then T is a topology on X if and only if all of the following
More informationData Analytics and Boolean Algebras
Data Analytics and Boolean Algebras Hans van Thiel November 28, 2012 c Muitovar 2012 KvK Amsterdam 34350608 Passeerdersstraat 76 1016 XZ Amsterdam The Netherlands T: + 31 20 6247137 E: hthiel@muitovar.com
More informationA Particular Type of Non-associative Algebras and Graph Theory
A Particular Type of Non-associative Algebras and Graph Theory JUAN NÚÑEZ, MARITHANIA SILVERO & M. TRINIDAD VILLAR University of Seville Department of Geometry and Topology Aptdo. 1160. 41080-Seville SPAIN
More information