Preference identification

Size: px
Start display at page:

Download "Preference identification"

Transcription

1 Preference identification C. Chambers F. Echenique N. Lambert UC San Diego Caltech Stanford April

2 This paper An experimenter and a subject. Subject makes choices according to some on set X. Experimenter conducts a finite choice experiment of size k. Rationalizing preference: k. When does k?

3 Example Subject chooses among alternatives: X = R n +. Choices come from, a continuous preference. B k = {x k, y k }. A finite experiment: choose from B 1,..., B k. B = k=1 B k is dense.

4 Example y x y x

5 Example y V U x y U V x

6 Example y y V x y U V U x U and y V s.t y k x for all rationalizing k x x

7 Example y y V x x U x y U V x U and y V s.t y k x for all rationalizing k But x y. s.t. is cont. and B = B.

8 Example: a discontinuity. Infinite data (X ): recover ; x y Limiting infinite data (B = k=1 B k): x y s.t. B = B. Finite data: can t rule out y k x, no matter how large k.

9 Complete indifference. Let X = R n +. X X is the complete indifference preference. Fix a continuous preference on X. Proposition (informal) There exists rationalizing k for each k s.t complete indifference = lim k k

10 We need some theory to discipline the rationalizations.

11 Findings Purely a-theoretical, non-parametric estimation is misguided. Theory is needed. General conditions for convergence of preferences. Utility functions are more complicated. thm. (bijection) not enough.

12 Theorem (informal) X = ([a, b]) Ω, set of Anscombe-Aumann acts; or X = R n. Objective monotonicity. Connection between order and topology on X.

13 Theorem (informal) Theorem Let be monotone and cont.; k strongly rationalize the kth finite choice experiment generated by.

14 Theorem (informal) Theorem Let be monotone and cont.; k strongly rationalize the kth finite choice experiment generated by. Then, k For any utility u for u k for k s.t. u k u

15 Theorem (informal) Theorem Let be monotone and cont.; k strongly rationalize the kth finite choice experiment generated by. Then, k (in the topology of closed convergence). For any utility u for u k for k s.t. u k u (in the topology of compact convergence).

16 Discussion. Monotonicity. Convergence of any arbitrary nonparametric preference estimate. Choose k to conform to desired theory. Utility can t be arbitrary. Only get convergence of selected utility estimates. Require an identification theorem for each specific theory.

17 Monotone rationalizations. y y y V x y U V Let (x, y ) U V. U x x x

18 Monotone rationalizations. y y y V x x x U x y U V Let (x, y ) U V. = x, y B x x y y = x x k y y

19 Dependence on existence of. 1/2 1/2

20 Dependence on existence of. 1/2 1/2

21 Dependence on existence of. 1/2 1/2

22 Dependence on existence of. 1/2 1/2

23 Dependence on existence of. Problem is mitigated (in some cases) by diameter of set of rationalizing preferences shrinking as k.

24 Convergence of selected utility estimates. Let X = [0, 1], = and u (x) = x. If u n = x n, then 0 = lim n u n. But n = for all n.

25 Convergence of selected utility estimates. Let X = [0, 1], = and u (x) = x. If u n = x n, then 0 = lim n u n. But n = for all n. (For ε > 0, can choose u n with u n = 1 or u n 1 = 1 and 0 = lim n u n (x) for all x [0, 1 ε].)

26 m n x x n u n (x) = u (m n x) = u n u

27 Dated rewards Model of intertemporal choice. X = R 2 +. Interpret (t, x) X has a monetary quantity x delivered on date t. (x, t) (x, t ) iff x x and t t.

28 Dated rewards. x m n x x n 1 t u n (x) = u (m n x) = u n u

29 Model The set of alternatives is X. Let X be Polish, locally compact, partially ordered by. Let <.

30 Definitions, a binary relation on X, is a preference relation if it is complete and transitive; locally strict if x y and V a nbd of (x, y) implies (x, y ) V with x y ; weakly monotone if x y implies x y. strictly monotonic if x y implies x y, and x > y implies x y. continuous if {y X : y x} and {y X : x y} are closed.

31 Model B 1, B 2,... is a collection of subsets of X of cardinality two. Interpretation: B i = {x i, y i }; experimenter asks a subject to choose between x i and y i.

32 Model Let Σ k = {B 1,..., B k }. A finite experiment of order k is a function c : Σ k 2 X s.t c(b i ) B i

33 Model Let B = k=1 B k X. Assume: Any subset of B of cardinality two is in some B k. B is dense in X.

34 Model A choice sequence is an increasing collection of experiments: Denote by C k the set of all finite experiments of order k. Consider c : N k Ck s.t. k, c k C k for all k < l, c l Σk = c k The set of choice sequences is denoted C. c c if ( k)( B i Σ k )c k (B i ) c k (B i ).

35 Model The choice function of order k generated by is defined by c (B i ) = arg max B i = {x B i : x y for all y B i }

36 Model: Rationalizability weakly rationalizes a finite experiment c of order k if c(b i ) c (B i ) for all B i Σ k. weakly rationalizes a choice sequence c if c c. strongly rationalizes a finite experiment c of order k if c(b i ) = c (B i ) for all B i Σ k.

37 Definitions Order > has open intervals if is an open set. {(x, y) : x > y}

38 Convergence 1 Theorem Suppose that 1. is continuous and strictly monotone, 2. > has open intervals, 3. every continuous and st. mon. preference relation is locally strict. Let c c be a choice sequence, and let k be a continuous and strictly monotone preference that weakly rationalizes c k. Then, k in the closed convergence topology.

39 Basically the previous theorem applies to X R n. For X = ([0, 1]) does not have open intervals. (For example let x = δ 1 and x be the uniform distribution. Then if z ε = 1+ε 2 δ 1/2 + 1 ε 2 δ 1 we have z ε / [x, x] for any ε > 0 while z 0 (x, x).)

40 For a choice sequence c, let P k (c) = { : is cont. st. mon. weakly rationalizing c k }. For a set of binary relations S, define diam(s) = sup (, ) S 2 δ C (, ) to be the diameter of S according to the metric δ C which generates the topology on preferences.

41 Theorem Suppose that < has open intervals. Let c be a choice sequence, and suppose that each strictly monotone continuous preference is also locally strict. Then lim k diam(pk (c)) 0.

42 Definitions (X, B) has the countable order property if x X and V nbd of x x, x B V with x x x. X has the squeezing property if for any sequence {x n }, if x n x then there is an increasing sequence {x n}, and an a decreasing sequence {x n }, such that x n x n x n, and lim n x n = x = lim n x n.

43 Definitions Proposition If X is R n, or ([a, b]), then X has the countable order and squeezing properties.

44 Convergence 2 Theorem Suppose 1. is cont. and weakly monotone, 2. (X, Σ ) has the countable order property, and X the squeezing property. Let k be a continuous and weakly monotone preference that strongly rationalizes the choice function of order k generated by. Then, k in the closed convergence topology.

45 proof ideas; X = R n k (cpctness) WTS: =.

46 proof ideas; X = R n k (cpctness) WTS: =. Let x y and x U V y. Arbitrary convergent seq. (x n, y n ) (x, y); squeeze the sequence by (x n, y n). x n = inf{x m : m n} and y n = sup{y m : m n} (x n, y n) (x, y) x n and y n.

47 proof ideas y x y; U V x

48 proof ideas y V y N U x y; U V x N U and y N V x N x

49 proof ideas y y V y N U x y; U V x N U and y N V x U B, x x N. y V B y N y x x N x

50 proof ideas y y V y N x y; U V x N U and y N V x U B, x x N. y V B y N y x x N x U Since k, N N s.t. ( n N )x n y.

51 proof ideas Then: x n x n x N x n y y N y n y n n N weak monotonicity hence avoids any sequence to have the wrong preference; so x y by completeness.

52 proof ideas Conversely, show x y = x y.

53 proof ideas Conversely, show x y = x y. Let x N x (1/k) B with x x, and y N y (1/k) B with y y; So x x y y Now, n = x n y n large enough. n k n k 1 such that x nk y ; and let x = x nk and y = y nk. Then (x n k, y n k ) (x, y) and x nk nk y nk. Thus x y.

54 Utility functions

55 Compact set of utilities Let V R X be a compact set of cont. utility functions. Φ(u) preference relation represented by u. Theorem Suppose V is compact, and that all Φ(V) are locally strict. Let c be a choice sequence, and let k V weakly rationalize c k. Then, there exists V such that k in the closed convergence topology. Furthermore, if k also weakly rationalizes c k, then k.

56 Example: Expected utility Let Π be finite set of prizes and (Π) set of lotteries. nonconstant expected utility preference are locally strict. V is (homeomorphic to) S = {u R X : x u x = 0, u = 1}; so compact.

57 Utility representations We need a canonical utility representation. Here we use the equal coordinates idea. For X = R n it s literally the ray of equal coordinates. For X = ([a, b]) it s [a, b].

58 Model Let M X s.t M is connected and totally ordered by <. m M and nbd U of m in X m, m M, with m [m, m] U. (If m is not the largest element of M we can choose m such that m < m, and if m is not the smallest element we can choose m such that m < m.) Any bd seq in X is bounded by elements of M.

59 Homeomorphism Let Φ : U R mon such that Φ(u) is the preference represented by u U. Equivalence relation on U; ˆΦ : U/ R is defined in the natural way. Theorem ˆΦ is a homeomorphism.

60 in the limit = identification Theorem Suppose that and are two complete and continuous binary relations. Suppose that is locally strict, and let B X be dense. If B B B B, then =.

61 in the limit = identification Theorem Suppose that and are two continuous and complete binary relations. Suppose X is connected, and let B X be dense. If B B = B B, then =.

62 in the limit = identification Example Let X = [0, 1] [2, 3] and B = ([0, 1) (2, 3]), and observe that the rankings x y iff x y and x y iff x y or (x, y) = (1, 2) have the same restriction to B. e.g. can be represented by u(x) = x and by u(x) = x on [0, 1] and u(x) = x 1 on [2, 3].

63 Topology on preferences Basic requirement for a topology on preferences is that preferences that are close should have similar choice behavior. If (x n, y n ) (x, y), n, x y, then x n n y n for all n large enough. Close preference have the same choice behavior for alternatives that are close to each other.

64 Topology on preferences Let X be Polish and locally compact. Then the topology of closed convergence is the smallest topology for which the sets are open. {(x, y, ) : x y}

65 Topology on preferences Let X be metrizable. Let F n be a sequence of closed sets in X. Li(F n ) and Ls(F n ) are closed subsets of X defined by: x Li(F n ) iff for all nbd V of x there is N N such that F n V for all n N. x Ls(F n ) iff for all nbd V of x and all N N there is n N s.t F n V. Note: Li(F n ) Ls(F n ). Definition F n converges to F in the topology of closed convergence if Li(F n ) = F = Ls(F n ).

66 Topology on preferences Lemma Let (X, d) be a locally compact separable metric space. The set of all closed subsets of X, endowed with the topology of closed convergence, is a compact metrizable space.

67 Related literature With demand theory primitives: Mas-Colell (Restud 78); closest to us. Reny (Ecma 2015) Kübler and Polemarchaskis (Ecma forth) Polemarchakis, Selden and Song (2017) Utility homeomorphisms. Mas-Colell (JET 74) Border and Segal (JET 92) Topologies on preferences: Literature in the 70s (papers by Debreu, Kannai, Grodal and Hildenbrand).

68 Conclusion Convergence of finite-experiment rationalizing preferences. Some pathological examples. Sufficient conditions for convergence of preferences. Convergence of utilities is more subtle.

A characterization of combinatorial demand

A characterization of combinatorial demand A characterization of combinatorial demand C. Chambers F. Echenique UC San Diego Caltech Montreal Nov 19, 2016 This paper Literature on matching (e.g Kelso-Crawford) and combinatorial auctions (e.g Milgrom):

More information

Preference and Utility

Preference and Utility Preference and Utility Econ 2100 Fall 2017 Lecture 3, 5 September Problem Set 1 is due in Kelly s mailbox by 5pm today Outline 1 Existence of Utility Functions 2 Continuous Preferences 3 Debreu s Representation

More information

Average choice. David Ahn Federico Echenique Kota Saito. Harvard-MIT, March 10, 2016

Average choice. David Ahn Federico Echenique Kota Saito. Harvard-MIT, March 10, 2016 David Ahn Federico Echenique Kota Saito Harvard-MIT, March 10, 2016 Path independence This paper: An exploration of path independence in stochastic choice. Plott path independence Plott (Ecma 1973) in

More information

van Rooij, Schikhof: A Second Course on Real Functions

van Rooij, Schikhof: A Second Course on Real Functions vanrooijschikhof.tex April 25, 2018 van Rooij, Schikhof: A Second Course on Real Functions Notes from [vrs]. Introduction A monotone function is Riemann integrable. A continuous function is Riemann integrable.

More information

A Comprehensive Approach to Revealed Preference Theory

A Comprehensive Approach to Revealed Preference Theory A Comprehensive Approach to Revealed Preference Theory Hiroki Nishimura Efe A. Ok John K.-H. Quah July 11, 2016 Abstract We develop a version of Afriat s Theorem that is applicable to a variety of choice

More information

7 Complete metric spaces and function spaces

7 Complete metric spaces and function spaces 7 Complete metric spaces and function spaces 7.1 Completeness Let (X, d) be a metric space. Definition 7.1. A sequence (x n ) n N in X is a Cauchy sequence if for any ɛ > 0, there is N N such that n, m

More information

Part III. 10 Topological Space Basics. Topological Spaces

Part III. 10 Topological Space Basics. Topological Spaces Part III 10 Topological Space Basics Topological Spaces Using the metric space results above as motivation we will axiomatize the notion of being an open set to more general settings. Definition 10.1.

More information

Problem Set 2: Solutions Math 201A: Fall 2016

Problem Set 2: Solutions Math 201A: Fall 2016 Problem Set 2: s Math 201A: Fall 2016 Problem 1. (a) Prove that a closed subset of a complete metric space is complete. (b) Prove that a closed subset of a compact metric space is compact. (c) Prove that

More information

Economics 204 Summer/Fall 2011 Lecture 5 Friday July 29, 2011

Economics 204 Summer/Fall 2011 Lecture 5 Friday July 29, 2011 Economics 204 Summer/Fall 2011 Lecture 5 Friday July 29, 2011 Section 2.6 (cont.) Properties of Real Functions Here we first study properties of functions from R to R, making use of the additional structure

More information

Axioms of separation

Axioms of separation Axioms of separation These notes discuss the same topic as Sections 31, 32, 33, 34, 35, and also 7, 10 of Munkres book. Some notions (hereditarily normal, perfectly normal, collectionwise normal, monotonically

More information

3 Measurable Functions

3 Measurable Functions 3 Measurable Functions Notation A pair (X, F) where F is a σ-field of subsets of X is a measurable space. If µ is a measure on F then (X, F, µ) is a measure space. If µ(x) < then (X, F, µ) is a probability

More information

What Matchings Can be Stable? Refutability in Matching Theory

What Matchings Can be Stable? Refutability in Matching Theory allis/thomson Conference What Matchings Can be Stable? Refutability in Matching Theory Federico Echenique California Institute of Technology April 21-22, 2006 Motivation Wallis/Thomson Conference Standard

More information

4 Countability axioms

4 Countability axioms 4 COUNTABILITY AXIOMS 4 Countability axioms Definition 4.1. Let X be a topological space X is said to be first countable if for any x X, there is a countable basis for the neighborhoods of x. X is said

More information

Technical Results on Regular Preferences and Demand

Technical Results on Regular Preferences and Demand Division of the Humanities and Social Sciences Technical Results on Regular Preferences and Demand KC Border Revised Fall 2011; Winter 2017 Preferences For the purposes of this note, a preference relation

More information

Documentos de trabajo. A full characterization of representable preferences. J. Dubra & F. Echenique

Documentos de trabajo. A full characterization of representable preferences. J. Dubra & F. Echenique Documentos de trabajo A full characterization of representable preferences J. Dubra & F. Echenique Documento No. 12/00 Diciembre, 2000 A Full Characterization of Representable Preferences Abstract We fully

More information

Contents: 1. Minimization. 2. The theorem of Lions-Stampacchia for variational inequalities. 3. Γ -Convergence. 4. Duality mapping.

Contents: 1. Minimization. 2. The theorem of Lions-Stampacchia for variational inequalities. 3. Γ -Convergence. 4. Duality mapping. Minimization Contents: 1. Minimization. 2. The theorem of Lions-Stampacchia for variational inequalities. 3. Γ -Convergence. 4. Duality mapping. 1 Minimization A Topological Result. Let S be a topological

More information

Strictly convex norms and topology

Strictly convex norms and topology Strictly convex norms and topology 41st Winter School in Abstract Analysis, Kácov Richard J. Smith 1 1 University College Dublin, Ireland 12th 19th January 2013 Richard J. Smith (UCD) Strictly convex norms

More information

Functional Analysis. Franck Sueur Metric spaces Definitions Completeness Compactness Separability...

Functional Analysis. Franck Sueur Metric spaces Definitions Completeness Compactness Separability... Functional Analysis Franck Sueur 2018-2019 Contents 1 Metric spaces 1 1.1 Definitions........................................ 1 1.2 Completeness...................................... 3 1.3 Compactness......................................

More information

4 Choice axioms and Baire category theorem

4 Choice axioms and Baire category theorem Tel Aviv University, 2013 Measure and category 30 4 Choice axioms and Baire category theorem 4a Vitali set....................... 30 4b No choice....................... 31 4c Dependent choice..................

More information

E.7 Alaoglu s Theorem

E.7 Alaoglu s Theorem E.7 Alaoglu s Theorem 359 E.7 Alaoglu s Theorem If X is a normed space, then the closed unit ball in X or X is compact if and only if X is finite-dimensional (Problem A.25). Even so, Alaoglu s Theorem

More information

10 Typical compact sets

10 Typical compact sets Tel Aviv University, 2013 Measure and category 83 10 Typical compact sets 10a Covering, packing, volume, and dimension... 83 10b A space of compact sets.............. 85 10c Dimensions of typical sets.............

More information

Chapter 1 - Preference and choice

Chapter 1 - Preference and choice http://selod.ensae.net/m1 Paris School of Economics (selod@ens.fr) September 27, 2007 Notations Consider an individual (agent) facing a choice set X. Definition (Choice set, "Consumption set") X is a set

More information

Homework in Topology, Spring 2009.

Homework in Topology, Spring 2009. Homework in Topology, Spring 2009. Björn Gustafsson April 29, 2009 1 Generalities To pass the course you should hand in correct and well-written solutions of approximately 10-15 of the problems. For higher

More information

ABSTRACT INTEGRATION CHAPTER ONE

ABSTRACT INTEGRATION CHAPTER ONE CHAPTER ONE ABSTRACT INTEGRATION Version 1.1 No rights reserved. Any part of this work can be reproduced or transmitted in any form or by any means. Suggestions and errors are invited and can be mailed

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

g 2 (x) (1/3)M 1 = (1/3)(2/3)M.

g 2 (x) (1/3)M 1 = (1/3)(2/3)M. COMPACTNESS If C R n is closed and bounded, then by B-W it is sequentially compact: any sequence of points in C has a subsequence converging to a point in C Conversely, any sequentially compact C R n is

More information

Second-Order Expected Utility

Second-Order Expected Utility Second-Order Expected Utility Simon Grant Ben Polak Tomasz Strzalecki Preliminary version: November 2009 Abstract We present two axiomatizations of the Second-Order Expected Utility model in the context

More information

Boundary Behavior of Excess Demand Functions without the Strong Monotonicity Assumption

Boundary Behavior of Excess Demand Functions without the Strong Monotonicity Assumption Boundary Behavior of Excess Demand Functions without the Strong Monotonicity Assumption Chiaki Hara April 5, 2004 Abstract We give a theorem on the existence of an equilibrium price vector for an excess

More information

Choice, Preferences and Utility

Choice, Preferences and Utility Choice, Preferences and Utility Mark Dean Lecture Notes for Fall 2015 PhD Class in Behavioral Economics - Columbia University 1 Introduction The first topic that we are going to cover is the relationship

More information

A CHARACTERIZATION OF POWER HOMOGENEITY G. J. RIDDERBOS

A CHARACTERIZATION OF POWER HOMOGENEITY G. J. RIDDERBOS A CHARACTERIZATION OF POWER HOMOGENEITY G. J. RIDDERBOS Abstract. We prove that every -power homogeneous space is power homogeneous. This answers a question of the author and it provides a characterization

More information

1. Supremum and Infimum Remark: In this sections, all the subsets of R are assumed to be nonempty.

1. Supremum and Infimum Remark: In this sections, all the subsets of R are assumed to be nonempty. 1. Supremum and Infimum Remark: In this sections, all the subsets of R are assumed to be nonempty. Let E be a subset of R. We say that E is bounded above if there exists a real number U such that x U for

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

Preference, Choice and Utility

Preference, Choice and Utility Preference, Choice and Utility Eric Pacuit January 2, 205 Relations Suppose that X is a non-empty set. The set X X is the cross-product of X with itself. That is, it is the set of all pairs of elements

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

Econ Lecture 3. Outline. 1. Metric Spaces and Normed Spaces 2. Convergence of Sequences in Metric Spaces 3. Sequences in R and R n

Econ Lecture 3. Outline. 1. Metric Spaces and Normed Spaces 2. Convergence of Sequences in Metric Spaces 3. Sequences in R and R n Econ 204 2011 Lecture 3 Outline 1. Metric Spaces and Normed Spaces 2. Convergence of Sequences in Metric Spaces 3. Sequences in R and R n 1 Metric Spaces and Metrics Generalize distance and length notions

More information

Banach-Alaoglu theorems

Banach-Alaoglu theorems Banach-Alaoglu theorems László Erdős Jan 23, 2007 1 Compactness revisited In a topological space a fundamental property is the compactness (Kompaktheit). We recall the definition: Definition 1.1 A subset

More information

VALUATION THEORY, GENERALIZED IFS ATTRACTORS AND FRACTALS

VALUATION THEORY, GENERALIZED IFS ATTRACTORS AND FRACTALS VALUATION THEORY, GENERALIZED IFS ATTRACTORS AND FRACTALS JAN DOBROWOLSKI AND FRANZ-VIKTOR KUHLMANN Abstract. Using valuation rings and valued fields as examples, we discuss in which ways the notions of

More information

MATH 3300 Test 1. Name: Student Id:

MATH 3300 Test 1. Name: Student Id: Name: Student Id: There are nine problems (check that you have 9 pages). Solutions are expected to be short. In the case of proofs, one or two short paragraphs should be the average length. Write your

More information

First In-Class Exam Solutions Math 410, Professor David Levermore Monday, 1 October 2018

First In-Class Exam Solutions Math 410, Professor David Levermore Monday, 1 October 2018 First In-Class Exam Solutions Math 40, Professor David Levermore Monday, October 208. [0] Let {b k } k N be a sequence in R and let A be a subset of R. Write the negations of the following assertions.

More information

Microeconomics. Joana Pais. Fall Joana Pais

Microeconomics. Joana Pais. Fall Joana Pais Microeconomics Fall 2016 Primitive notions There are four building blocks in any model of consumer choice. They are the consumption set, the feasible set, the preference relation, and the behavioural assumption.

More information

Topology, Math 581, Fall 2017 last updated: November 24, Topology 1, Math 581, Fall 2017: Notes and homework Krzysztof Chris Ciesielski

Topology, Math 581, Fall 2017 last updated: November 24, Topology 1, Math 581, Fall 2017: Notes and homework Krzysztof Chris Ciesielski Topology, Math 581, Fall 2017 last updated: November 24, 2017 1 Topology 1, Math 581, Fall 2017: Notes and homework Krzysztof Chris Ciesielski Class of August 17: Course and syllabus overview. Topology

More information

A Comprehensive Approach to Revealed Preference Theory

A Comprehensive Approach to Revealed Preference Theory A Comprehensive Approach to Revealed Preference Theory Hiroki Nishimura Efe A. Ok John K.-H. Quah October 6, 2016 Abstract We develop a version of Afriat s Theorem that is applicable to a variety of choice

More information

Whitney topology and spaces of preference relations. Abstract

Whitney topology and spaces of preference relations. Abstract Whitney topology and spaces of preference relations Oleksandra Hubal Lviv National University Michael Zarichnyi University of Rzeszow, Lviv National University Abstract The strong Whitney topology on the

More information

The small ball property in Banach spaces (quantitative results)

The small ball property in Banach spaces (quantitative results) The small ball property in Banach spaces (quantitative results) Ehrhard Behrends Abstract A metric space (M, d) is said to have the small ball property (sbp) if for every ε 0 > 0 there exists a sequence

More information

On the Class of Functions Starlike with Respect to a Boundary Point

On the Class of Functions Starlike with Respect to a Boundary Point Journal of Mathematical Analysis and Applications 261, 649 664 (2001) doi:10.1006/jmaa.2001.7564, available online at http://www.idealibrary.com on On the Class of Functions Starlike with Respect to a

More information

Competitive Market Mechanisms as Social Choice Procedures

Competitive Market Mechanisms as Social Choice Procedures Competitive Market Mechanisms as Social Choice Procedures Peter J. Hammond 1 Department of Economics, Stanford University, CA 94305-6072, U.S.A. 1 Introduction and outline 1.1 Markets and social choice

More information

Functions based on sin ( π. and cos

Functions based on sin ( π. and cos Functions based on sin and cos. Introduction In Complex Analysis if a function is differentiable it has derivatives of all orders. In Real Analysis the situation is very different. Using sin (π/ and cos

More information

Normed Vector Spaces and Double Duals

Normed Vector Spaces and Double Duals Normed Vector Spaces and Double Duals Mathematics 481/525 In this note we look at a number of infinite-dimensional R-vector spaces that arise in analysis, and we consider their dual and double dual spaces

More information

Existence of a Limit on a Dense Set, and. Construction of Continuous Functions on Special Sets

Existence of a Limit on a Dense Set, and. Construction of Continuous Functions on Special Sets Existence of a Limit on a Dense Set, and Construction of Continuous Functions on Special Sets REU 2012 Recap: Definitions Definition Given a real-valued function f, the limit of f exists at a point c R

More information

Selçuk Demir WS 2017 Functional Analysis Homework Sheet

Selçuk Demir WS 2017 Functional Analysis Homework Sheet Selçuk Demir WS 2017 Functional Analysis Homework Sheet 1. Let M be a metric space. If A M is non-empty, we say that A is bounded iff diam(a) = sup{d(x, y) : x.y A} exists. Show that A is bounded iff there

More information

s P = f(ξ n )(x i x i 1 ). i=1

s P = f(ξ n )(x i x i 1 ). i=1 Compactness and total boundedness via nets The aim of this chapter is to define the notion of a net (generalized sequence) and to characterize compactness and total boundedness by this important topological

More information

MAT3500/ Mandatory assignment 2013 Solutions

MAT3500/ Mandatory assignment 2013 Solutions MAT3500/4500 - Mandatory assignment 2013 s Problem 1 Let X be a topological space, A and B be subsets of X. Recall the definition of the boundary Bd A of a set A. Prove that Bd (A B) (Bd A) (Bd B). Discuss

More information

Simple Abelian Topological Groups. Luke Dominic Bush Hipwood. Mathematics Institute

Simple Abelian Topological Groups. Luke Dominic Bush Hipwood. Mathematics Institute M A E NS G I T A T MOLEM UNIVERSITAS WARWICENSIS Simple Abelian Topological Groups by Luke Dominic Bush Hipwood supervised by Dr Dmitriy Rumynin 4th Year Project Submitted to The University of Warwick

More information

1.A Topological spaces The initial topology is called topology generated by (f i ) i I.

1.A Topological spaces The initial topology is called topology generated by (f i ) i I. kechris.tex December 12, 2012 Classical descriptive set theory Notes from [Ke]. 1 1 Polish spaces 1.1 Topological and metric spaces 1.A Topological spaces The initial topology is called topology generated

More information

Individual decision-making under certainty

Individual decision-making under certainty Individual decision-making under certainty Objects of inquiry Our study begins with individual decision-making under certainty Items of interest include: Feasible set Objective function (Feasible set R)

More information

Analysis III Theorems, Propositions & Lemmas... Oh My!

Analysis III Theorems, Propositions & Lemmas... Oh My! Analysis III Theorems, Propositions & Lemmas... Oh My! Rob Gibson October 25, 2010 Proposition 1. If x = (x 1, x 2,...), y = (y 1, y 2,...), then is a distance. ( d(x, y) = x k y k p Proposition 2. In

More information

F (x) = P [X x[. DF1 F is nondecreasing. DF2 F is right-continuous

F (x) = P [X x[. DF1 F is nondecreasing. DF2 F is right-continuous 7: /4/ TOPIC Distribution functions their inverses This section develops properties of probability distribution functions their inverses Two main topics are the so-called probability integral transformation

More information

Locally uniformly rotund renormings of the spaces of continuous functions on Fedorchuk compacts

Locally uniformly rotund renormings of the spaces of continuous functions on Fedorchuk compacts Locally uniformly rotund renormings of the spaces of continuous functions on Fedorchuk compacts S.TROYANSKI, Institute of Mathematics, Bulgarian Academy of Science joint work with S. P. GUL KO, Faculty

More information

1 Topology Definition of a topology Basis (Base) of a topology The subspace topology & the product topology on X Y 3

1 Topology Definition of a topology Basis (Base) of a topology The subspace topology & the product topology on X Y 3 Index Page 1 Topology 2 1.1 Definition of a topology 2 1.2 Basis (Base) of a topology 2 1.3 The subspace topology & the product topology on X Y 3 1.4 Basic topology concepts: limit points, closed sets,

More information

General Topology. Summer Term Michael Kunzinger

General Topology. Summer Term Michael Kunzinger General Topology Summer Term 2016 Michael Kunzinger michael.kunzinger@univie.ac.at Universität Wien Fakultät für Mathematik Oskar-Morgenstern-Platz 1 A-1090 Wien Preface These are lecture notes for a

More information

Homogeneity and compactness: a mystery from set-theoretic topology

Homogeneity and compactness: a mystery from set-theoretic topology Homogeneity and compactness: a mystery from set-theoretic topology David Milovich May 21, 2009 Beyond metric spaces... Metric spaces are compact iff every sequence has a limit point iff every open cover

More information

MAS3706 Topology. Revision Lectures, May I do not answer enquiries as to what material will be in the exam.

MAS3706 Topology. Revision Lectures, May I do not answer  enquiries as to what material will be in the exam. MAS3706 Topology Revision Lectures, May 208 Z.A.Lykova It is essential that you read and try to understand the lecture notes from the beginning to the end. Many questions from the exam paper will be similar

More information

MA651 Topology. Lecture 10. Metric Spaces.

MA651 Topology. Lecture 10. Metric Spaces. MA65 Topology. Lecture 0. Metric Spaces. This text is based on the following books: Topology by James Dugundgji Fundamental concepts of topology by Peter O Neil Linear Algebra and Analysis by Marc Zamansky

More information

Logical Connectives and Quantifiers

Logical Connectives and Quantifiers Chapter 1 Logical Connectives and Quantifiers 1.1 Logical Connectives 1.2 Quantifiers 1.3 Techniques of Proof: I 1.4 Techniques of Proof: II Theorem 1. Let f be a continuous function. If 1 f(x)dx 0, then

More information

R N Completeness and Compactness 1

R N Completeness and Compactness 1 John Nachbar Washington University in St. Louis October 3, 2017 R N Completeness and Compactness 1 1 Completeness in R. As a preliminary step, I first record the following compactness-like theorem about

More information

Lecture Notes in Advanced Calculus 1 (80315) Raz Kupferman Institute of Mathematics The Hebrew University

Lecture Notes in Advanced Calculus 1 (80315) Raz Kupferman Institute of Mathematics The Hebrew University Lecture Notes in Advanced Calculus 1 (80315) Raz Kupferman Institute of Mathematics The Hebrew University February 7, 2007 2 Contents 1 Metric Spaces 1 1.1 Basic definitions...........................

More information

IRRATIONAL ROTATION OF THE CIRCLE AND THE BINARY ODOMETER ARE FINITARILY ORBIT EQUIVALENT

IRRATIONAL ROTATION OF THE CIRCLE AND THE BINARY ODOMETER ARE FINITARILY ORBIT EQUIVALENT IRRATIONAL ROTATION OF THE CIRCLE AND THE BINARY ODOMETER ARE FINITARILY ORBIT EQUIVALENT MRINAL KANTI ROYCHOWDHURY Abstract. Two invertible dynamical systems (X, A, µ, T ) and (Y, B, ν, S) where X, Y

More information

CRITICAL TYPES. 1. Introduction

CRITICAL TYPES. 1. Introduction CRITICAL TYPES JEFFREY C. ELY AND MARCIN PESKI Abstract. Economic models employ assumptions about agents infinite hierarchies of belief. We might hope to achieve reasonable approximations by specifying

More information

Finite dimensional topological vector spaces

Finite dimensional topological vector spaces Chapter 3 Finite dimensional topological vector spaces 3.1 Finite dimensional Hausdor t.v.s. Let X be a vector space over the field K of real or complex numbers. We know from linear algebra that the (algebraic)

More information

MA651 Topology. Lecture 9. Compactness 2.

MA651 Topology. Lecture 9. Compactness 2. MA651 Topology. Lecture 9. Compactness 2. This text is based on the following books: Topology by James Dugundgji Fundamental concepts of topology by Peter O Neil Elements of Mathematics: General Topology

More information

MATH 4200 HW: PROBLEM SET FOUR: METRIC SPACES

MATH 4200 HW: PROBLEM SET FOUR: METRIC SPACES MATH 4200 HW: PROBLEM SET FOUR: METRIC SPACES PETE L. CLARK 4. Metric Spaces (no more lulz) Directions: This week, please solve any seven problems. Next week, please solve seven more. Starred parts of

More information

The Arzelà-Ascoli Theorem

The Arzelà-Ascoli Theorem John Nachbar Washington University March 27, 2016 The Arzelà-Ascoli Theorem The Arzelà-Ascoli Theorem gives sufficient conditions for compactness in certain function spaces. Among other things, it helps

More information

Weak Topologies, Reflexivity, Adjoint operators

Weak Topologies, Reflexivity, Adjoint operators Chapter 2 Weak Topologies, Reflexivity, Adjoint operators 2.1 Topological vector spaces and locally convex spaces Definition 2.1.1. [Topological Vector Spaces and Locally convex Spaces] Let E be a vector

More information

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

Math 201 Topology I. Lecture notes of Prof. Hicham Gebran Math 201 Topology I Lecture notes of Prof. Hicham Gebran hicham.gebran@yahoo.com Lebanese University, Fanar, Fall 2015-2016 http://fs2.ul.edu.lb/math http://hichamgebran.wordpress.com 2 Introduction and

More information

Some topologies in the half-plane

Some topologies in the half-plane Thai Journal of Mathematics Volume 5(2007) Number 2 : 343 358 www.math.science.cmu.ac.th/thaijournal Some topologies in the half-plane M. Grzesiak and L. Jankowski Abstract : In the complex analysis the

More information

SUMMARY OF RESULTS ON PATH SPACES AND CONVERGENCE IN DISTRIBUTION FOR STOCHASTIC PROCESSES

SUMMARY OF RESULTS ON PATH SPACES AND CONVERGENCE IN DISTRIBUTION FOR STOCHASTIC PROCESSES SUMMARY OF RESULTS ON PATH SPACES AND CONVERGENCE IN DISTRIBUTION FOR STOCHASTIC PROCESSES RUTH J. WILLIAMS October 2, 2017 Department of Mathematics, University of California, San Diego, 9500 Gilman Drive,

More information

Finite dimensional topological vector spaces

Finite dimensional topological vector spaces Chapter 3 Finite dimensional topological vector spaces 3.1 Finite dimensional Hausdor t.v.s. Let X be a vector space over the field K of real or complex numbers. We know from linear algebra that the (algebraic)

More information

Notes on Distributions

Notes on Distributions Notes on Distributions Functional Analysis 1 Locally Convex Spaces Definition 1. A vector space (over R or C) is said to be a topological vector space (TVS) if it is a Hausdorff topological space and the

More information

6.254 : Game Theory with Engineering Applications Lecture 7: Supermodular Games

6.254 : Game Theory with Engineering Applications Lecture 7: Supermodular Games 6.254 : Game Theory with Engineering Applications Lecture 7: Asu Ozdaglar MIT February 25, 2010 1 Introduction Outline Uniqueness of a Pure Nash Equilibrium for Continuous Games Reading: Rosen J.B., Existence

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

Static Decision Theory Under Certainty

Static Decision Theory Under Certainty Static Decision Theory Under Certainty Larry Blume September 22, 2010 1 basics A set of objects X An individual is asked to express preferences among the objects, or to make choices from subsets of X.

More information

Tutorial 4: Measurability Measurability

Tutorial 4: Measurability Measurability Tutorial 4: Measurability 1 4. Measurability Definition 25 Let A and B be two sets, and f : A B be a map. Given A A, wecalldirect image of A by f the set denoted f(a ), anddefinedbyf(a )={f(x) : x A }.

More information

Monotone equilibria in nonatomic supermodular games. A comment

Monotone equilibria in nonatomic supermodular games. A comment Monotone equilibria in nonatomic supermodular games. A comment Lukasz Balbus Kevin Reffett Lukasz Woźny April 2014 Abstract Recently Yang and Qi (2013) stated an interesting theorem on existence of complete

More information

Contents Ordered Fields... 2 Ordered sets and fields... 2 Construction of the Reals 1: Dedekind Cuts... 2 Metric Spaces... 3

Contents Ordered Fields... 2 Ordered sets and fields... 2 Construction of the Reals 1: Dedekind Cuts... 2 Metric Spaces... 3 Analysis Math Notes Study Guide Real Analysis Contents Ordered Fields 2 Ordered sets and fields 2 Construction of the Reals 1: Dedekind Cuts 2 Metric Spaces 3 Metric Spaces 3 Definitions 4 Separability

More information

Functions. Paul Schrimpf. October 9, UBC Economics 526. Functions. Paul Schrimpf. Definition and examples. Special types of functions

Functions. Paul Schrimpf. October 9, UBC Economics 526. Functions. Paul Schrimpf. Definition and examples. Special types of functions of Functions UBC Economics 526 October 9, 2013 of 1. 2. of 3.. 4 of Functions UBC Economics 526 October 9, 2013 of Section 1 Functions of A function from a set A to a set B is a rule that assigns to each

More information

Quasi-invariant measures for continuous group actions

Quasi-invariant measures for continuous group actions Contemporary Mathematics Quasi-invariant measures for continuous group actions Alexander S. Kechris Dedicated to Simon Thomas on his 60th birthday Abstract. The class of ergodic, invariant probability

More information

Measurability Problems for Boolean Algebras

Measurability Problems for Boolean Algebras Measurability Problems for Boolean Algebras Stevo Todorcevic Berkeley, March 31, 2014 Outline 1. Problems about the existence of measure 2. Quests for algebraic characterizations 3. The weak law of distributivity

More information

Maths 212: Homework Solutions

Maths 212: Homework Solutions Maths 212: Homework Solutions 1. The definition of A ensures that x π for all x A, so π is an upper bound of A. To show it is the least upper bound, suppose x < π and consider two cases. If x < 1, then

More information

Convex Analysis and Economic Theory Winter 2018

Convex Analysis and Economic Theory Winter 2018 Division of the Humanities and Social Sciences Ec 181 KC Border Convex Analysis and Economic Theory Winter 2018 Supplement A: Mathematical background A.1 Extended real numbers The extended real number

More information

Basic Deterministic Dynamic Programming

Basic Deterministic Dynamic Programming Basic Deterministic Dynamic Programming Timothy Kam School of Economics & CAMA Australian National University ECON8022, This version March 17, 2008 Motivation What do we do? Outline Deterministic IHDP

More information

Metric Spaces and Topology

Metric Spaces and Topology Chapter 2 Metric Spaces and Topology From an engineering perspective, the most important way to construct a topology on a set is to define the topology in terms of a metric on the set. This approach underlies

More information

Math 205C - Topology Midterm

Math 205C - Topology Midterm Math 205C - Topology Midterm Erin Pearse 1. a) State the definition of an n-dimensional topological (differentiable) manifold. An n-dimensional topological manifold is a topological space that is Hausdorff,

More information

Chapter 1. Measure Spaces. 1.1 Algebras and σ algebras of sets Notation and preliminaries

Chapter 1. Measure Spaces. 1.1 Algebras and σ algebras of sets Notation and preliminaries Chapter 1 Measure Spaces 1.1 Algebras and σ algebras of sets 1.1.1 Notation and preliminaries We shall denote by X a nonempty set, by P(X) the set of all parts (i.e., subsets) of X, and by the empty set.

More information

Bounded uniformly continuous functions

Bounded uniformly continuous functions Bounded uniformly continuous functions Objectives. To study the basic properties of the C -algebra of the bounded uniformly continuous functions on some metric space. Requirements. Basic concepts of analysis:

More information

MTG 5316/4302 FALL 2018 REVIEW FINAL

MTG 5316/4302 FALL 2018 REVIEW FINAL MTG 5316/4302 FALL 2018 REVIEW FINAL JAMES KEESLING Problem 1. Define open set in a metric space X. Define what it means for a set A X to be connected in a metric space X. Problem 2. Show that if a set

More information

OUTER MEASURE AND UTILITY

OUTER MEASURE AND UTILITY ECOLE POLYTECHNIQUE CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE OUTER MEASURE AND UTILITY Mark VOORNEVELD Jörgen W. WEIBULL October 2008 Cahier n 2008-28 DEPARTEMENT D'ECONOMIE Route de Saclay 91128 PALAISEAU

More information

Utility Representation of Lower Separable Preferences

Utility Representation of Lower Separable Preferences Utility Representation of Lower Separable Preferences Özgür Yılmaz June 2008 Abstract Topological separability is crucial for the utility representation of a complete preference relation. When preferences

More information

Reflexivity of Locally Convex Spaces over Local Fields

Reflexivity of Locally Convex Spaces over Local Fields Reflexivity of Locally Convex Spaces over Local Fields Tomoki Mihara University of Tokyo & Keio University 1 0 Introduction For any Hilbert space H, the Hermit inner product induces an anti C- linear isometric

More information

Fixed Point Theorems 1

Fixed Point Theorems 1 John Nachbar Washington University in St. Louis October 10, 2017 1 Overview Fixed Point Theorems 1 Definition 1. Given a set X and a function f : X X, x X is a fixed point of f iff f(x ) = x. Many existence

More information

Definably amenable groups in NIP

Definably amenable groups in NIP Definably amenable groups in NIP Artem Chernikov (Paris 7) Lyon, 21 Nov 2013 Joint work with Pierre Simon. Setting T is a complete first-order theory in a language L, countable for simplicity. M = T a

More information