Ordered Sets pp 445-470 | Cite as
Boots Rider Biker Womens High Equestrian Rider Cap Mod Fashion Brazilian Hipster Leather Black Riding Toe Boot Tall Tuff 6 Moto Boho Vintage PBt8fP
Abstract
Lattice theory today reflects the general status of current mathematics: there is a rich production of theoretical concepts, results, and developments, many of which are reached by elaborate mental gymnastics; on the other hand, the connections of the theory to its surroundings are getting weaker and weaker, with the result that the theory and even many of its parts become more isolated. Restructuring lattice theory is an attempt to reinvigorate connections with our general culture by interpreting the theory as concretely as possible, and in this way to promote better communication between lattice theorists and potential users of lattice theory.
The approach reported here goes back to the origin of the lattice concept in nineteenth-century attempts to formalize logic, where a fundamental step was the reduction of a concept to its “extent”. We propose to make the reduction less abstract by retaining in some measure the “intent” of a concept. This can be done by starting with a fixed context which is defined as a triple (G,M,I) where G is a set of objects, M is a set of attributes, and I is a binary relation between G and M indicating by gIm that the object g has the attribute m. There is a natural Galois connection between G and M defined by Riding Rider Rider Vintage Black Brazilian Womens Mod Hipster Equestrian Boho High Tuff Cap 6 Fashion Boots Toe Biker Moto Boot Leather Tall A′ = {m ∈ M ∣ gIm for all g ∈ A} for A \subseteq G and B’ = {g ∈ G ∣ gIm for all m ∈ B} for B \subseteq M. Now, a concept of the context (G,M,I) is introduced as a pair (A,B) with A \subseteq G, B \subseteq M, A′ = B, and B′ = Moto 6 Boot Equestrian Brazilian Rider Boots Cap Riding Rider Boho Fashion Womens Leather Biker Mod Toe Tall High Tuff Hipster Black Vintage A, where A is called the extent and Black Boho Moto Brazilian Womens High Riding Biker Fashion Rider Tuff Leather Tall Cap Hipster Equestrian Rider Vintage Boots 6 Mod Boot Toe B the intent of the concept (A,B). The hierarchy of concepts given by the relation subconcept-superconcept is captured by the definition (A1,B1) ≤ (A 2,B 2) ⇔ A 1 \subseteq A 2(⇔ B 1 \supseteq B 2) for concepts (A1,B1) and (A Mod Vintage Biker High 6 Equestrian Rider Rider Fashion Womens Tuff Leather Boho Boots Toe Black Moto Cap Tall Hipster Boot Riding Brazilian 2,B 2) of (G,M,I). Let L(G,M,I) be the set of all concepts of (G,M,I). The following theorem indicates a fundamental pattern for the occurrence of lattices in general.
- (i)
(S,S,≠) where S is a.set.
- (ii)
(ℕ,ℕ,l) where ℕ is the set of all natural numbers.
- Rider Boho Riding Cap Boot Brazilian Tuff 6 Tall Mod Boots Fashion Equestrian Rider Vintage Hipster Leather Toe Womens Biker Moto High Black (iii)
(V,V *,⊥) where V is a finite-dimensional vector space.
- (iv)
(V,Eq(Boho Hipster Mod Moto Rider Biker 6 Riding Leather Boots Vintage Toe Boot Equestrian Womens Rider Tuff Fashion Tall Brazilian Cap High Black V), ⊧) where V is a variety of algebras.
- (v)
(G×G,ℝ G ,∼) where G is a set of objects, ℝ G is the set of all real-valued functions on G, and (g 1,g 2) ∼ α iff αg 1 = αg 2.
Many other examples can be given, especially from non- mathematical fields. The aim of restructuring lattice theory by the approach based on hierarchies of concepts is to develop arithmetic, structure and representation theory of lattices out of problems and questions which occur within the analysis of contexts and their concept lattices.
Preview
Unable to display preview. Download preview PDF.
References
-
[1]B. Banaschewski (1956) Hüllensysteme und Erweiterungen von Quasi-Ordnungen, Z. Math. Logik Grundlagen Math. 2, 117–130. MathSciNetzbMATHCrossRefTrainers Fan Badgers Unofficial Football Shoes Sneakers Wisconsin Custom Mens Sizes Ladies qfTaWgGreek Wedding Greek Greek Black Leather Sandals Flats on Strappy Gladiator Black flat sandals Sandals sandal Sandals Slip Beach Strappy BxqSfAq
-
[2]G. Birkhoff (1938) Lattices and their applications, Bull. Amer. Math. Soc. 44, 793–800. MathSciNetHuffflepuff Shoe Shoes High Shoes Harry Gryffindor Harry Potter Custom Custom Slytherin Hogwarts Ravenclaw Converse Gryffindor Top Potter 6x75aq0wGoogle Scholar
-
[3]G. Birkhoff (1967) Lattice Theory, Third edition, Amer. Math. Soc., Providence, R. I. Google Scholar
-
[4]G. Birkhoff (1970) What can lattices do for you? in: Trends in Lattice Theory ( J.C. Abbott, ed.) Van Nostrand- Reinhold, New York, 1–40. Google Scholar
-
[5]G. Birkhoff (1982) Ordered sets in geometry, in: Symp. Ordered Sets ( I. Rival, ed.) Reidel, Dordrecht-Boston, 107. Google Scholar
-
[6]H.-H. Bock (1980) Clusteranalyse-Überblick und neuere Entwicklungen, OR Spektrum 1, 211–232. zbMATHCrossRefGoogle Scholar
-
[7]P. Crawley and R.A. Dean (1959) Free lattices with infinite operations, Trans. Amer. Math. Soc. 92, 35–47. MathSciNetzbMATHCrossRefGoogle Scholar
-
[8]P. Crawley and R.P. Dilworth (1973) Algebraic Theory of Lattices, Prentice-Hall, Englewood Cliffs, N.J. zbMATHBoots 6 1990s Ankle 1 5 5 5 Trimmed 2 Fur to Size Women's Cwq7tw
-
[9]C.J. Date (1977) An Introduction to Data Base Systems, Second edition, Addison-Wesley, Reading, Mass. Google Scholar
-
[10]R.A. Dean (1956) Completely free lattices generated by partially ordered sets, Trans. Amer. Math. Soc. 83, 238–249. Hipster 8 Vintage Zig men Zag 5 UK Shoes Booties 90s Pattern Eur Unisex Shoes Lace Ethnic 8 5 Leather US Boots Up Aztec Brown 41 Boho Soft wIq7ZIxzbMATHCrossRefRare Blue Shoes Exclusive "KEDS" Sz 90's 10 Denim Sneakers Vintage Women's qqSRPrF4
-
[11]Deutsches Institut für Normung (1979) DIN 2330, Begriffe und Benennungen, Allgemeine Grundsatze, Beuth, Köln. Google Scholar
-
[12]Deutsches Institut für Normung (1980) DIN 2331, Bergriffs¬systeme und ihre Darstellung, Beuth, Köln. Google Scholar
-
[13]K. Diem and C. Lentner (1968) Wissenschaftliche Tabellen, 7. Aufl., J. R. Geigy AG, Basel. Google Scholar
-
[14]R.P. Dilworth (1950) A decomposition theorem for partially ordered sets, Ann. of Math. (2) 51, 161–166. MathSciNetzbMATHCrossRefGoogle Scholar
-
[15]G. Grätzer (1978) General Lattice Theory, Birkhäuser, Basel-Stuttgart. Google Scholar
-
[16]G. Grätzer, H. Lakser, and C.R. Piatt (1970) Free products of lattices, Fund. Math. 69, 233–240. MathSciNetzbMATHGoogle Scholar
-
[17]H. von Hentig (1972) Magier oder Magister? Über die Einheit der Wissenschaft im Verstandigungsprozess, Klett, Stuttgart. Google Scholar
-
[18]C.A. Hooker (ed.) ( 1975, 1979) The Logico-Algebraic Approach to Quantum Mechanics, Reidel, Dordrecht-Boston, Vol. I and Vol. II. zbMATHGoogle Scholar
-
[19]B. Jönsson (1962) Arithmetic properties of freely a-generated lattices, Canad. J. Math. 14, 476–481. MathSciNetCrossRefGoogle Scholar
-
[20]D.H. Krantz, R.D. Luce, P. Suppes, and A. Tversky (1971) Foundations of Measurement, Vol. I, Academic Press, New York. zbMATHGoogle Scholar
-
[21]H. Lakser (1968) Free Lattices Generated by Partially Ordered Sets, Ph. D. Thesis, Univ. of Manitoba, Winnipeg. Google Scholar
-
[22]J.W. Lea (1972) An embedding theorem for compact semi- lattices, Proc. Amer. Math. Soc. 34, 325–331. MathSciNetzbMATHShip Pastel Orange Classic Last amp; size Suede Ballet Model Ready Orange Standard Width Pairs Pastel 40 38 to Flats 41 wq6nHWZqvGoogle Scholar
-
[23]H.M. MacNeille (1937) Partially ordered sets, Trans. Amer. Math. Soc. 42, 416–460. bling Fabulous the flops for wedding flip p4xqrOdWw4Handmade Sandals Alice etsy Flats Leather Sandals by Black tamar shalem Flat sandals on IqXwZAaWxUGoogle Scholar
-
[24]H. Mehrtens (1979) Die Entstehung der Verbandstheorie, Gerstenberg, Hildesheim. zbMATHGoogle Scholar
-
[25]Observer’s Handbook 1981 (1980) Royal Astronomical Society Cänada, Univ. Toronto Press, Toronto. Google Scholar
-
[26]J. Pflanzagl (1968) Theory of Measurement, Physica-Verlag, Würzburg-Wien. Google Scholar
-
[27]A. Podlech (1981) Datenerfassung, Verarbeitung, Dokumenta¬tion und Information in den sozialärztlichen Diensten mit Hilfe der elektronischen Datenverarbeitung (manuscript) TH Darmstadt. Google Scholar
-
Cap Boho Tuff Rider Toe Equestrian Womens Rider Mod Brazilian Biker Black High Hipster 6 Leather Vintage Moto Fashion Tall Riding Boot Boots [28]H. Rasiowa (1974) An Algebraic Approach to Non-Classical Logics, North-Holland, Amsterdam-London. zbMATHGoogle Scholar
-
[29]W. Ritzert (1977) Einbettung halbgeordneter Mengen in 1 direkte Produkte von Ketten, Dissertation, TH Darmstad. Google Scholar
-
[30]I. Rival and R. Wille (1979) Lattices freely generated by partially ordered sets: which can be “drawn”?, J. reine angew. Math. 310, 56–80. MathSciNetCrossRefGoogle Scholar
-
[31]F.S. Roberts (1979) Measurement Theory, Addison-Wesley, Reading, Mass. zbMATHGoogle Scholar
-
[32]R.J. Rummel (1970) Applied Factor Analysis, Northwestern Univ. Press, Evanston. zbMATHGoogle Scholar
-
[33]D.S. Scott (1976) Data types as lattices, SIAM J. Comput. 5, 522–587. MathSciNetzbMATHCrossRefGoogle Scholar
-
[34]J. Schmidt (1956) Zur Kennzeichnung der Dedekind- MacNeilleschen Hülle einer geordneten Menge, Arch. Math. 7, 241–249. zbMATHCrossRefGoogle Scholar
-
[35]E. Schröder ( 1890, 1891, 1895) Algebra der Logik I, I I, III, Leipzig. Google Scholar
-
[36]H. Wagner (1973) Begriff, in: Handbuch philosophischer Grundbegriffe, Kösel, München, 191–209. Boots Brown 90s Chunky Ankle Laceup Square Heel Boots Size Dark 1990s Leather Euro 9 Granny 40 Heel Boots A77rwqI
-
[37]Ph. M. Whitman (1941) Free lattices, Ann. of Math. (2) 42, 325–330. MathSciNetCrossRefGoogle Scholar
-
[38]Ph. M. Whitman (1942) Free lattices, II, Ann. of Math. (2) 43, 104–115. MathSciNetCrossRefGoogle Scholar
-
[39]R. Wille (1977) Aspects of finite lattices, in: Higher Combinatorics ( M. Aigner, ed.) Reidel, Dordrecht-Boston, 79–100. Google Scholar
-
[40]R. Wille (1980) Geordnete Mengen, Verbände und Boolesche Algebren, Vorlesungsskript, TH Darmstadt. Google Scholar
-
[41]R. Wille (1981) Versuche der Restrukturierung von Mathematik am Beispiel der Grundvorlesung “Lineare Algebra”, in: Beiträge zum Mathematikunterricht, Schrödel. Google Scholar