DOCSLIB.ORG

ULTRAPRODUCTS in ANALYSIS It Appears That the Concept Of

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
ULTRAPRODUCTS in ANALYSIS It Appears That the Concept Of ULTRAPRODUCTS IN ANALYSIS JUNG JIN LEE Abstract. Basic concepts of ultraproduct and some applications in Analysis, mainly in Banach spaces theory, will be discussed. It appears that the concept of ultraproduct, originated as a fundamental method of a model theory, is widely used as an important tool in analysis. When one studies local properties of a Banach space, for example, these constructions turned out to be useful as we will see later. In this writing we are invited to look at some basic ideas of these applications. 1. Ultrafilter and Ultralimit Let us start with the de¯nition of ¯lters on a given index set. De¯nition 1.1. A ¯lter F on a given index set I is a collection of nonempty subsets of I such that (1) A; B 2 F =) A \ B 2 F , and (2) A 2 F ;A ½ C =) C 2 F . Proposition 1.2. Each ¯lter on a given index set I is dominated by a maximal ¯lter. Proof. Immediate consequence of Zorn's lemma. ¤ De¯nition 1.3. A ¯lter which is maximal is called an ultra¯lter. We have following important characterization of an ultra¯lter. Proposition 1.4. Let F be a ¯lter on I. Then F is an ultra¯lter if and only if for any subset Y ½ I, we have either Y 2 F or Y c 2 F . Proof. (=)) Since I 2 F , suppose ; 6= Y2 = F . We have to show that Y c 2 F . De¯ne G = fZ ½ I : 9A 2 F such that A \ Y c ½ Zg. Since Y2 = F , for any A 2 F , A \ Y c 6= ;. Therefore, G is a collection of nonempty subsets of I. Moreover, c c (1) If Z1;Z2 2 G , then we can ¯nd A1;A2 2 F such that A1 \ Y ½ Z1, A2 \ Y ½ Z2. c Now A1 \ A2 2 F and A1 \ A2 \ Y ½ Z1 \ Z2, i.e., Z1 \ Z2 2 G . (2) If Z1 ½ Z2 and Z1 2 G , then it's clear that Z2 2 G . So G is a ¯lter. Since A ⊃ A \ Y c for any A 2 F , we have F ½ G , and hence F = G by maximality of F . Noting that Y c 2 G = F , we are done. ((=) Suppose G is a ¯lter such that F ½ G . Suppose to the contrary that 9Y 2 G n F . From our assumption, Y c 2 F and hence Y c 2 G . Then Y \Y c 2 G , which is impossible. ¤ Date: August 3, 2004. This document can be obtained at http://www.math.uiuc.edu/»junglee2/misc/ultraproduct.pdf. 1 2 JUNG JIN LEE Remark An ultra¯lter U is called trivial (or non-free, principal, or ¯xed) if it is generated by a single element i0 2 I, that means, I0 2 U if and only if i0 2 I0. An ultra¯lter which is not trivial is called free. Another notion is of importance for several constructions: an ultra¯lter U is called countably incomplete if there is a sequence of elements of U satisfying \1 I1 ¶ I2 ¶ ¢ ¢ ¢ ; Ik = ;: k=1 Some authors just say ultra¯lters when mentioning countably incomplete ultra¯lters, because it's the most interesting case. If I is ¯nite, every ultra¯lter is ¯xed. If I is in¯nite, then there is a free ultra¯lter on I. See [2]. De¯nition 1.5. Let F be a ¯lter on I. A set of real numbers (xi)i2I is said to converge to x 2 R with respect to F if for all ² > 0, fi 2 I : jxi ¡ xj < ²g 2 F . In this case, x is called the ultralimit of (xi)i2I , denoted x = limU xi. Remark If such x exists in the previous de¯nition, it is unique, since F consists of nonempty sets. So this de¯nition makes sense. The following is one of the important features of ultralimits. Theorem 1.6. Let U be an ultra¯lter on I and (xi)i2I be a set of bounded real numbers, then (xi)i2I must converge. + ¡ Proof. Suppose jxij · M, 8i 2 I. Let S0 = fi 2 I : xi ¸ 0g, S0 = fi 2 I : xi · 0g. ¡ + c + Noting S0 ⊃ (S0 ) , we know that at least one of these should be in U ; say S0 and set + M ¡ M T0 = [0;M]. De¯ne S1 = fi 2 I : xi ¸ 2 g, S1 = fi 2 I : xi · 2 g. Just like before, we may ¡ M + M assume that, say, S1 2 U ; set T1 = [0; 2 ]. In a like fashion, de¯ne S2 = fi 2 I : xi ¸ 4 g, ¡ M + M M S2 = fi 2 I : xi · 4 g. Assume S2 2 U and set T2 = [ 4 ; 2 ]. Iterate this process. By the T1 Principle of Nested Intervals, we get a point x 2 R such that k=0 Ik = fxg. We claim that lim x = x. Fix ² > 0 and consider the set fi 2 I : jx ¡ xj < ²g. Choose N so that M < ². U i T i 2N M N ~ ~ Since the length of TN = 2N , we have k=0 Sk ½ fi 2 I : jxi ¡ xj < ²g, where Sk is one of + ¡ Sk or Sk whichever is in U . ¤ Above theorem is true in more general setting; in fact, we have the following result. Theorem 1.7. Let K be a compact Hausdor® space. Then for each family (xi)i2I with xi 2 K the limit lim xi = x U exists in K. This means, there is a unique point x 2 K such that, for each neighborhood V of x, the set fi 2 I : xi 2 V g belongs to U . Proof. Refer to [2]. ¤ Remark Actually, a basic fact from general topology is that X is a compact Hausdor® space if and only if for every indexed family (xi)i2I in X and every ultra¯lter U on I the ultralimit of (xi)i2I exists and is unique. See [4] Usual rules of limits also work for ultralimits. More precisely, we have following proposition. We omit its proof since it is just a simple check of de¯nition. Proposition 1.8. For ultralimits, we have that ULTRAPRODUCTS IN ANALYSIS 3 (1) limU jaxij = jaj ¢ limU jxij. (2) limU jxi + yij · limU jxij + limU jyij. (3) If xi · yi for any i, then limU xi · limU yi. (4) limU (xi + yi) = limU xi + limU yi. (5) limU C = C for any C constant. (6) limU xi ¢ yi = limU xi ¢ limU yi. Remark (3)+(4) gives a proof of (2). We close this section with a proposition about the product of ultra¯lters. Proposition 1.9. Let U ; V be ultra¯lters on index sets I;J, respectively. Then U £ V is an ultra¯lter on I £ J where U £ V is de¯ned by: X 2 U £ V if and only if fj : fi :(i; j) 2 Xg 2 U g 2 V : Proof. First we show that U £V is a ¯lter on I £J. Note that U £V consists of nonempty sets. (1) Suppose A; B 2 U £V . We want to show that fj : fi :(i; j) 2 A\Bg 2 U g 2 V . Let A~ = fj : fi :(i; j) 2 Ag 2 U g and B~ = fj : fi :(i; j) 2 Bg 2 U g. Since A;~ B~ 2 V , ~ ~ ~ ~ A \ B 2 V . Choose j0 2 A \ B and let Aj0 = fi :(i; j0) 2 Ag, Bj0 = fi :(i; j0) 2 Bg. Now Aj0 ;Bj0 2 U so Aj0 \ Bj0 = fi :(i; j0) 2 A \ Bg 2 U . This shows that A~ \ B~ ½ fj : fi :(i; j) 2 A \ Bg 2 U g and hence fj : fi :(i; j) 2 A \ Bg 2 U g 2 V . (2) Suppose A 2 U £ V and A ½ C. Choose j0 2 fj : fi :(i; j) 2 Ag 2 U g. Since A ½ C, j0 2 fj : fi :(i; j) 2 Cg 2 U g. Thus fj : fi :(i; j) 2 Ag 2 U g(2 V ) ½ fj : fi :(i; j) 2 Cg 2 U g, which shows C 2 V . To show that U £ V is maximal, pick any X ½ I £ J and suppose X2 = U £ V . By maximality of V , fj : fi :(i; j) 2 Xg 2= U g 2 V . Choose j0 2 fj : fi :(i; j) 2 Xg 2= U g c and consider the set fi :(i; j0) 2 Xg. By maximality of U , we have fi :(i; j0) 2 X g 2 U , which shows that fj : fi :(i; j) 2 Xg 2= U g(2 V ) ½ fj : fi :(i; j) 2 Xcg 2 U g. Thus fj : fi :(i; j) 2 Xcg 2 U g 2 V . ¤ 2. Ultraproducts of Banach Spaces Let (Ei)i2I be a family of Banach spaces. Consider the space `1(I;Ei) of families (xi)i2I with xi 2 Ei(i 2 I) and k(xi)k1 = sup kxik < 1: i2I Then `1(I;Ei) is a Banach space, which is too big in some sense. Let NU be the subset of all those families (xi)i2I 2 `1(I;Ei) with limU kxik = 0. One can easily verify that NU is a closed linear subspace of `1(I;Ei). So we are ready to give De¯nition 2.1. The ultraproduct (Ei)U of the family of Banach spaces (Ei)i2I with respect to the ultra¯lter U is the quotient space `1(I;Ei)=NU ; equipped with the canonical quotient norm. 4 JUNG JIN LEE Q Remark Often the ultraproduct (Ei)U is also denoted by i2I Ei=U .
Load more

Recommended publications
  • Model Theory and Ultraproducts
    P. I. C. M. – 2018 Rio de Janeiro, Vol. 2 (101–116) MODEL THEORY AND ULTRAPRODUCTS M M Abstract The article motivates recent work on saturation of ultrapowers from a general math- ematical point of view. Introduction In the history of mathematics the idea of the limit has had a remarkable effect on organizing and making visible a certain kind of structure. Its effects can be seen from calculus to extremal graph theory. At the end of the nineteenth century, Cantor introduced infinite cardinals, which allow for a stratification of size in a potentially much deeper way. It is often thought that these ideas, however beautiful, are studied in modern mathematics primarily by set theorists, and that aside from occasional independence results, the hierarchy of infinities has not profoundly influenced, say, algebra, geometry, analysis or topology, and perhaps is not suited to do so. What this conventional wisdom misses is a powerful kind of reflection or transmutation arising from the development of model theory. As the field of model theory has developed over the last century, its methods have allowed for serious interaction with algebraic geom- etry, number theory, and general topology. One of the unique successes of model theoretic classification theory is precisely in allowing for a kind of distillation and focusing of the information gleaned from the opening up of the hierarchy of infinities into definitions and tools for studying specific mathematical structures. By the time they are used, the form of the tools may not reflect this influence. However, if we are interested in advancing further, it may be useful to remember it.
    [Show full text]
  • Connes on the Role of Hyperreals in Mathematics
    Found Sci DOI 10.1007/s10699-012-9316-5 Tools, Objects, and Chimeras: Connes on the Role of Hyperreals in Mathematics Vladimir Kanovei · Mikhail G. Katz · Thomas Mormann © Springer Science+Business Media Dordrecht 2012 Abstract We examine some of Connes’ criticisms of Robinson’s infinitesimals starting in 1995. Connes sought to exploit the Solovay model S as ammunition against non-standard analysis, but the model tends to boomerang, undercutting Connes’ own earlier work in func- tional analysis. Connes described the hyperreals as both a “virtual theory” and a “chimera”, yet acknowledged that his argument relies on the transfer principle. We analyze Connes’ “dart-throwing” thought experiment, but reach an opposite conclusion. In S, all definable sets of reals are Lebesgue measurable, suggesting that Connes views a theory as being “vir- tual” if it is not definable in a suitable model of ZFC. If so, Connes’ claim that a theory of the hyperreals is “virtual” is refuted by the existence of a definable model of the hyperreal field due to Kanovei and Shelah. Free ultrafilters aren’t definable, yet Connes exploited such ultrafilters both in his own earlier work on the classification of factors in the 1970s and 80s, and in Noncommutative Geometry, raising the question whether the latter may not be vulnera- ble to Connes’ criticism of virtuality. We analyze the philosophical underpinnings of Connes’ argument based on Gödel’s incompleteness theorem, and detect an apparent circularity in Connes’ logic. We document the reliance on non-constructive foundational material, and specifically on the Dixmier trace − (featured on the front cover of Connes’ magnum opus) V.
    [Show full text]
  • Lecture 25: Ultraproducts
    LECTURE 25: ULTRAPRODUCTS CALEB STANFORD First, recall that given a collection of sets and an ultrafilter on the index set, we formed an ultraproduct of those sets. It is important to think of the ultraproduct as a set-theoretic construction rather than a model- theoretic construction, in the sense that it is a product of sets rather than a product of structures. I.e., if Xi Q are sets for i = 1; 2; 3;:::, then Xi=U is another set. The set we use does not depend on what constant, function, and relation symbols may exist and have interpretations in Xi. (There are of course profound model-theoretic consequences of this, but the underlying construction is a way of turning a collection of sets into a new set, and doesn't make use of any notions from model theory!) We are interested in the particular case where the index set is N and where there is a set X such that Q Xi = X for all i. Then Xi=U is written XN=U, and is called the ultrapower of X by U. From now on, we will consider the ultrafilter to be a fixed nonprincipal ultrafilter, and will just consider the ultrapower of X to be the ultrapower by this fixed ultrafilter. It doesn't matter which one we pick, in the sense that none of our results will require anything from U beyond its nonprincipality. The ultrapower has two important properties. The first of these is the Transfer Principle. The second is @0-saturation. 1. The Transfer Principle Let L be a language, X a set, and XL an L-structure on X.
    [Show full text]
  • ULTRAPRODUCTS in ALGEBRA Contents 1. Notation 1 2. Background 1 2.1. Filters and Ultrafilters 1 2.2. Ultraproducts 4 2.3. Lós 5
    ULTRAPRODUCTS IN ALGEBRA JOSH TURNER Abstract. This paper will delve into the algebraic properties of ultraproducts and ultrapowers of various algebraic structures. Ultraproducts are relatively simple to define, but have deep implications, primarily due toL´os'sTheorem, which for our purposes essentially states that statements that can be written in first order logic can be transferred back and forth between structures and their ultraproducts. We will primarily prove one theorem about a particular ultraproduct of fields, which, along withL´os'sTheorem, can imply some quite notable algebraic facts. The use of the ultraproducts andL´os'sTheorem in algebra is still relatively new, and there is still much to investigate on this topic. Contents 1. Notation 1 2. Background 1 2.1. Filters and Ultrafilters 1 2.2. Ultraproducts 4 2.3.L´os'sTheorem 5 3. Ultragroups, Ultrarings, and Ultrafields 5 3.1. Transcendence Bases 7 3.2. Conclusion 8 Acknowledgments 9 References 10 1. Notation In this paper, we will use P (I) to denote the power set of a set I, and jIj will refer to the cardinality of I. We will use ! = @0 = jNj to refer to the cardinality of the natural numbers. 2. Background 2.1. Filters and Ultrafilters. Definition 2.1. Given a set I, a set D ⊆ P (I) of subsets of I is called a filter on I or over I if it satisfies the following conditions: (a) I 2 D, ; 2= D, (b) if A 2 D and A ⊆ B for some set B, then B 2 D, (c) if A; B 2 D, then A \ B 2 D.
    [Show full text]
  • How Do Ultrafilters Act on Theories? the Cut Spectrum and Treetops
    HOW DO ULTRAFILTERS ACT ON THEORIES? THE CUT SPECTRUM AND TREETOPS DIEGO ANDRES BEJARANO RAYO Abstract. We expand on and further explain the work by Malliaris and Shelah on the cofinality spectrum by doing a more thorough introduction to the problem from the perspective of ultrafilters. We present the main motivation for the study as well as the primary objects of study, the cut spectrum and the concept of treetops. Additionally, we present a more thorough proof of the first noteworthy result of their work. Contents 1. Introduction 1 2. The Cut Spectrum 2 3. Ultrapower of Trees 3 4. Trees and the Cut Spectrum 3 5. Conclusion 7 Appendix 8 Acknowledgments 10 References 10 1. Introduction Ultrafilters play a significant role in model theory as they allow us to construct models of first-order theories that preserve the first order expressible structure and smooths the differences between models. Hence, it is only natural to want to study ultrafilters on their own as this may provide some insight on how we may use ultraproducts and ultrapowers to give answers to open questions in various areas of mathematics. Unfortunately, since the construction of non-principal ultrafilters requires the axiom of choice (via Zorn's lemma), we cannot study ultrafilters by looking directly at them and pondering about their structure as a set or another relevant mathematical object. Nonetheless, we know that ultrafilters act naturally on first order theories via ultraproducts, so we may study ultrafilters by looking at how different first order theories change or don't change when we take their ultraproducts.
    [Show full text]
  • A Survey of Ultraproduct Constructions in General Topology
    February 1, 2008 A Survey of Ultraproduct Constructions in General Topology Paul Bankston Department of Mathematics, Statistics and Computer Science Marquette University Milwaukee, WI 53201-1881 [email protected] A.M.S. Subject Classification (1991): 03-02, 03C20, 03C52, 03C68, 54A25, 54B35, 54C10, 54D05, 54D10, 54D30, 54D80, 54E52, 54F15, 54F45, 54F50, 54F65, 54G10 Key Words and Phrases: ultraproduct, ultracoproduct, topological spaces Dedication: To my early mentors and colleagues: B. Banaschewski, G. Bruns, H. J. Keisler, K. Kunen, E. Nelson and M. E. Rudin. 1. Introduction. This survey is intended primarily for two readerships: general topologists who know a little model theory, and model theorists who know a little general topology. Both camps can boast a healthy constituency, and most of this paper should be readily accessible to anyone in either. The ultraproduct construction has a long and distinguished history. While its beginnings go back to the 1930s with K. G¨odel (who was proving his completeness theorem) and T. Skolem (who was building nonstandard models of arithmetic), it was not until 1955, with the publication of the Fundamental Theorem of Ultraproducts, due to J.Lo´s, that the construction was described explicitly, and its importance to first-order logic became apparent. The understanding of the structure and use of arXiv:math/9709203v1 [math.LO] 2 Sep 1997 ultraproducts developed rapidly during the next fifteen years or so, culminating in the Ultrapower Theorem of H. J. Keisler and S. Shelah (UT). (The gist of the theorem is that two relational structures are elementarily equivalent if and only if an ultrapower of one is isomorphic to an ultrapower of the other.
    [Show full text]
  • Infinitesimals for Metaphysics: Consequences for the Ontologies Of
    Infinitesimals for Metaphysics: Consequences for the Ontologies of Space and Time Dissertation Presented in Partial Fulfillment of the Requirements for the Degree of Doctor of Philosophy in the Graduate School of The Ohio State University By Patrick Reeder, MA Graduate Program in Philosophy The Ohio State University 2012 Dissertation Committee: Stewart Shapiro, Advisor Ben Caplan Neil Tennant Copyright by Patrick Reeder 2012 Abstract In this dissertation, I defend unorthodox conceptions of continuity: I argue that they're both conceptually viable and philosophically fruitful. After a brief introduc- tion in the first chapter, I argue in the second chapter that the standard conception of continuity|which comes to us from Georg Cantor and Richard Dedekind, and which uses the real numbers as a model|doesn't satisfy all of pretheoretic intuitions about continuity and indeed that no conception of continuity does. This opens up conceptual room for unorthodox conceptions of continuity. In the second chapter, I argue that an unorthodox conception of continuity based on infinitesimals|numbers as small as infinity is large|provides the basis for a novel account of contact: of when two material bodies touch. In the third chapter, I argue that two other unorthodox conceptions of continuity provide the basis for novel solutions to Zeno's paradox of the arrow. ii Dedication For Faye Bartlett Reeder, Ph.D. (1892-1973) iii Acknowledgments I would like to thank all those who have read and commented on significant por- tions of this dissertation: Scott Brown, Steven Brown, Wesley Cray, Justin D'Arms, Matthew Davidson, Salvatore Florio, Peter Forrest, Timothy Fuller, Alison Kerr, Teresa Kouri, Nicholaos Jones, Lindsey Mason, James McGlothlin, Michael Miller, Cathy Muller, Bradley Rettler, Tony Roy, David Sanson, Kevin Scharp, Timothy Schroeder, Lisa Shabel, Nathan Smith, Declan Smithies, William Taschek, Gabriel Uzquiano and Daniel Wilkenfeld.
    [Show full text]
  • KIDDIE TALK: ULTRAPRODUCTS and SZEMÉREDI's THEOREM Outline and References As Promised, This Talk Will Not Assume Any Knowledg
    KIDDIE TALK: ULTRAPRODUCTS AND SZEMEREDI’S´ THEOREM EVAN WARNER Outline and references As promised, this talk will not assume any knowledge of ultrafilters, ultraproducts, or any model theory. The plan is as follows: (1) Ultrafilters (2) Ultraproducts (3) Joke (4) What are ultraproducts good for? (5) Szem´eredi’stheorem via ultraproducts References: Mostly Terence Tao’s various blog notes on ultraproducts. For model theory, see David Marker’s Model Theory: An Introduction for a very readable exposition. 1. Ultrafilters on N Without giving any particular context, suppose I want a gadget that tells me whether subsets of the natural numbers N are “big” or “small.” Obviously, if we had some measure on N this would be one way of providing such a gadget, but a measure is more discerning and also less strict than what we want here. Specifically, we want a set ω of subsets of N. We’ll call a set A N “big” if it lies in ω, and “small” otherwise. We want ω to satisfy the following axioms: ⊂ (1) A ω if and only if N A ω. That is, the complement of a “big” set is “small” and vice-versa.∈ \ ∈ (2) If A ω and A B, then B ω. That is, any superset of a “big” set is “big.” Equivalently, from∈ the first axiom,⊂ any subset∈ of a “small” set is “small.” (3) (The weird one) If A, B ω, then A B ω. That is, the intersection of two (hence, finitely many) “big” sets is “big.”∈ Bigness is∩ somewhat∈ robust. Such an ω is called an ultrafilter (over N).
    [Show full text]
  • Ultraproducts and Their Applications
    © COPYRIGHT by Amanda Purcell 2013 ALL RIGHTS RESERVED ULTRAPRODUCTS AND THEIR APPLICATIONS BY Amanda Purcell ABSTRACT An ultraproduct is a mathematical construction used primarily in abstract algebra and model theory to create a new structure by reducing a product of a family of existing structures using a class of objects referred to as filters. This thesis provides a rigorous construction of ultraproducts and investigates some of their applications in the fields of mathematical logic, nonstandard analysis, and complex analysis. An introduction to basic set theory is included and used as a foundation for the ultraproduct construction. It is shown how to use this method on a family of models of first order logic to construct a new model of first order logic, with which one can produce a proof of the Compactness Theorem that is both elegant and robust. Next, an ultraproduct is used to offer a bridge between intuition and the formalization of nonstandard analysis by providing concrete infinite and infinitesimal elements. Finally, a proof of the Ax- Grothendieck Theorem is provided in which the ultraproduct and other previous results play a critical role. Rather than examining one in depth application, this text features ultraproducts as tools to solve problems across various disciplines. ii ACKNOWLEDGMENTS I would like to give very special thanks to my advisor, Professor Ali Enayat, whose expertise, understanding, and patience, were invaluable to my pursuit of a degree in mathematics. His vast knowledge and passion for teaching inspired me throughout my collegiate and graduate career and will continue to do so. iii TABLE OF CONTENTS ABSTRACT ...................................................................................................................................
    [Show full text]
  • Ultraproducts and Metastability
    Ultraproducts and metastability Jeremy Avigad and Jos´eIovino Abstract. Given a convergence theorem in analysis, under very general con- ditions a model-theoretic compactness argument implies that there is a uniform bound on the rate of metastability. We illustrate with three examples from ergodic theory. 1. Introduction Convergence theorems in analysis are often disappointingly nonuniform. For example, Krengel [31] has shown, roughly speaking, that even if one fixes an ergodic measure preserving system, the convergence of averages guaranteed by the mean ergodic theorem can be arbitrarily slow. Our goal here is to show that even in such cases, a compactness argument can often be used to establish a weaker uniformity, namely, the existence of uniform bounds on the rate of metastable convergence. If (an)n2N is a sequence of elements in a metric space (X; d), saying that (an) is Cauchy is equivalent to saying that, for every " > 0 and function F : N ! N, there is an n such that d(ai; aj) < " for every i; j 2 [n; F (n)]. Think of F as trying to disprove the convergence of (an) by finding intervals where the sequence fluctuates by more than "; the n asserted to exist foils F in the sense that the sequence remains "-stable on [n; F (n)]. We will call a bound on such an n, depending on F and ", a bound on the rate of metastability. The arguments below show that, in many convergence theorems, there is a bound on the rate of metastability that depends on only a few of the relevant parameters. All is that required is that the class of structures in question, and the hypotheses of the theorem, are preserved under a certain model-theoretic ultraproduct construc- tion in which these parameters remain fixed.
    [Show full text]
  • Arxiv:1803.07118V1 [Math.LO] 19 Mar 2018 Introduction
    MODEL THEORY AND ULTRAPRODUCTS M. MALLIARIS Abstract. The article motivates recent work on saturation of ultrapowers from a general mathematical point of view. Introduction. space In the history of mathematics the idea of the limit has had a remarkable effect on organizing and making visible a certain kind of structure. Its effects can be seen from calculus to extremal graph theory. At the end of the nineteenth century, Cantor introduced infinite cardinals, which allow for a stratification of size in a potentially much deeper way. It is often thought that these ideas, however beautiful, are studied in modern mathematics primarily by set theorists, and that aside from occasional independence results, the hierarchy of infinities has not profoundly influenced, say, algebra, geometry, analysis or topology, and perhaps is not suited to do so. What this conventional wisdom misses is a powerful kind of reflection or trans- mutation arising from the development of model theory. As the field of model theory has developed over the last century, its methods have allowed for serious interaction with algebraic geometry, number theory, and general topology. One of the unique successes of model theoretic classification theory is precisely in allowing for a kind of distillation and focusing of the information gleaned from the open- ing up of the hierarchy of infinities into definitions and tools for studying specific mathematical structures. By the time they are used, the form of the tools may not reflect this influence. However, if we are interested in advancing further, it may be useful to remember it. Along this seam, so to speak, may be precisely where we will want to re-orient our approach.
    [Show full text]
  • ULTRAPRODUCTS and MODEL THEORY Contents 1. Introduction 1
    ULTRAPRODUCTS AND MODEL THEORY AARON HALPER Abstract. The first-order model-theoretic description of mathematical struc- tures is unable to always uniquely characterize models up to isomorphism when the models are not finite. In this paper I look to ultraproducts of models to remedy this somewhat. By taking the ultraproduct construction over models, we form a new model out of many that preserves all of the first-order logical sentences of “most” of the original models. This construction will be useful for characterizing when models are equivalent according to their first-order model-theoretic description, and for describing the class of models that are equivalent in this way. Contents 1. Introduction 1 2. Preliminary Definitions for Model Theory 1 3. Ultraproducts 3 4. Saturation 6 5. Elementary Classes 9 Acknowledgments 10 References 10 1. Introduction The ultraproduct is formed by taking the cartesian product of at least a countable number of sets and identifying those elements that agree on a “large” set of sets in the cartesian product. By carefully making constraints on the meaning of “large” we are able to change the construction of the ultraproduct. In this paper, I exhibit the use of this technique in model theory where an ultraproduct is itself a model that preserves first-order logical statements. I show how this construction is useful in characterizing when models are equivalent according to their first-order model- theoretic description, and to describe the class of models that are equivalent in this way. 2. Preliminary Definitions for Model Theory We begin by defining a few basic terms intrinsic to model theory.
    [Show full text]