<p>Looking more closely at your question, I think things should not be overly complicated. From Mas-Colell et.al.</p>

<p><strong>Definition 3.C.1:</strong></p>

<blockquote>
  <p>The preference relation $\succsim$ on X is continuous if it is preserved under limits. That is, for any sequence of pairs $\{(x^n, y^n)\}^\infty_{n=1}$ with $x^n \succsim y^n$ for all $n$, $x = \lim_{n \rightarrow \infty} x^n$, and $y = \lim_{n \rightarrow \infty} y^n$, we have $x \succsim y$</p>
</blockquote>

<p>The book then goes on to state that showing the lower contour set and upper contour set are closed, is equivalent.</p>

<p>As you note, a closed set is a set that contains all its limit points. That means that any convergent sequence of points $\{x^n\}^\infty_{n=1} \rightarrow x$ converges inside the set.</p>

<p>Because of the way the lower and upper contour sets are constructed, you can think of all the convergent sequences in the upper contour set as $\{x^n\}^\infty_{n=1}$ and all the convergent sequences of points in the lower contour set as $\{y^n\}^\infty_{n=1}$. In this case, all $x \succsim y$.</p>

<p>But it's not the same way for discontinuous preferences! Just try and draw discontinuous preferences where the contour sets are closed.</p>

<p><a href="https://i.sstatic.net/ExF1F.png" rel="noreferrer"><img src="https://i.sstatic.net/ExF1F.png" alt="enter image description here"></a></p>

<p>(enjoy that masterpiece)</p>

<p>Any convergent sequence to that open boundary there is trouble.</p>

CC BY-SA 3.0
2016-06-18T05:26:27.757Z
Kitsune, thank you for the answer plus the picture; I am thoroughly appreciating the latter one as well :) While I re-read your answer to let it sink in, I at first didn't fully understood their definition of the contour set. Strictly set notation-wise speaking, for example lower contour set, denoted as $L(x)=\{y\in X:x\succsim y\}$. It got me confused, b/c we have $x$ in $L(x)$ but are talking about all other bundles $y$ such that condition. So pictorially, I understand this is basically the LHS lower half of the indifference curve in the case of $\mathbb{R}^2$.
Frank Swanton
CC BY-SA 3.0
2016-06-18T05:31:23.750Z
Glad I could be of assistance.
Kitsune Cavalry
CC BY-SA 3.0
2016-06-18T07:29:26.183Z
Kitsune, please take a look at my new attempt.. Thanks!
Frank Swanton
CC BY-SA 3.0
2016-06-18T02:15:40.223Z
2016-06-18T02:15:40.223Z
Kitsune Cavalry
<p><em><strong>[ADDED/MODIFIED] : I have put my proof where the commodity space is simply <span class="math-container">$\mathbb{R_+}$</span>(e.g. nonnegative reals) for simplicity below. Please share your 2 cent. I have put words to aid my own understanding...</strong></em></p>
<p>I am trying to understand that an equivalent way of stating &quot;a preference relation that is continuous on <span class="math-container">$X$</span>&quot; is to say &quot;the upper and lower contours sets are closed&quot;. What I don't understand is when MWG in Micro Book in Chapter 3 says the following :</p>
<p><strong>The continuity of <span class="math-container">$\succsim$</span> on X implies that for any sequence of points <span class="math-container">$\{y^n\}$</span> with <span class="math-container">$x\succsim y^n$</span> <span class="math-container">$\forall n$</span> and <span class="math-container">$y^n$</span> converging to <span class="math-container">$y$</span>, we have <span class="math-container">$x\succsim y$</span>. And, this implies the lower contour <span class="math-container">$L(x)=\{y\in X:x\succsim y\}$</span> set is closed.</strong></p>
<p><em><strong>My questions is: how does the above statement imply the lower contour set is closed?</strong></em></p>
<blockquote>
<p><strong>[New Attempt] Proof:</strong></p>
</blockquote>
<blockquote>
<p>(1) Recall <strong>Definition 3.C.1(Modified for <span class="math-container">$\mathbb{R}$</span>)</strong>:</p>
</blockquote>
<p>The preference relation <span class="math-container">$\succsim$</span> on <span class="math-container">$X\subset\mathbb{R_+}$</span> is continuous if it is preserved under limits. That is, for any sequence of pairs <span class="math-container">$\{(x^n, y^n)\}^\infty_{n=1}$</span> with <span class="math-container">$x^n \succsim y^n$</span> for all <span class="math-container">$n$</span>, <span class="math-container">$x = \lim_{n \rightarrow \infty} x^n$</span>, and <span class="math-container">$y = \lim_{n \rightarrow \infty} y^n$</span>, we have <span class="math-container">$x \succsim y$</span>.</p>
<blockquote>
<p><strong>(In words, if you have a sequence of reals <span class="math-container">$x^n$</span> and <span class="math-container">$y^n$</span> where each term in <span class="math-container">$x^n$</span> is greater or equal to that of in <span class="math-container">$y^n$</span> and <span class="math-container">$x^n\rightarrow x$</span>, <span class="math-container">$y^n\rightarrow y$</span>, then you have <span class="math-container">$x\succsim y$</span>. Notice here, to facilitate understanding, I basically equated the preference relation as the in\equality on reals, thus the expression &quot;greater or equal&quot;. An example is <span class="math-container">$x=2,y=1$</span>. Essentially, look at the equivalence class of 2 and 1 on real line with the restriction that it is not any sequence converging to these numbers but need to narrow down to the group of convergent sequences where each term in <span class="math-container">$x^n$</span> is greater or equal to that of in <span class="math-container">$y^n$</span>.)</strong></p>
</blockquote>
<blockquote>
<p>(2) The above definition implies the following: for any sequence of pairs <span class="math-container">$\{(x^n, y^n)\}^\infty_{n=1}$</span> with <span class="math-container">$x\succsim y^n$</span> <span class="math-container">$\forall n$</span>, where <span class="math-container">$x^n=x$</span> <span class="math-container">$\forall n$</span> with <span class="math-container">$y^n$</span> converging to <span class="math-container">$y$</span>, we have <span class="math-container">$x\succsim y$</span>.</p>
</blockquote>
<blockquote>
<p><strong>((1) certainly implies (2), because again think of the example, <span class="math-container">$x^n=2, 2, 2, \dots$</span> and <span class="math-container">$y^n$</span> being any member of the equivalence class of 1 with the restriction each term has to be less or equal to 2. How does the set of the sequences <span class="math-container">$y^n$</span> satisfying this condition actually look like on the real line? Each term has to be less or equal to 2 but we are in the nonnegative commodity space <span class="math-container">$\mathbb{R_+}$</span>, so we have a set of sequences bounded in the interval <span class="math-container">$[0,2]$</span> but convergent to the number 1. This example is still valid for any pair of sequences of reals <span class="math-container">$x^n\geq y^n$</span> where <span class="math-container">$y^n$</span>, the sequence of reals is a bounded sequence in <span class="math-container">$[0,x]$</span> converging to any a point <span class="math-container">$y\in[0,x]$</span> while <span class="math-container">$x^n=x,x,x,\dots$</span>, we have <span class="math-container">$x\geq y$</span>.)</strong></p>
</blockquote>
<blockquote>
<p>(3) Define the lower contour set to be <span class="math-container">$L(x)=\{y\in X:x\succsim y\}$</span>. Then, (2) implies <span class="math-container">$L(x)$</span> is closed.</p>
</blockquote>
<blockquote>
<p><strong>(In (2), we attained that for any pair of sequences of reals <span class="math-container">$x^n\geq y^n$</span> where <span class="math-container">$y^n$</span>, the sequence of reals is a bounded sequence in <span class="math-container">$[0,x]$</span> converging to any a point <span class="math-container">$y\in[0,x]$</span> while <span class="math-container">$x^n=x,x,x,\dots$</span>, we have <span class="math-container">$x\geq y$</span>. The lower contour set is exactly a collection of real numbers <span class="math-container">$y$</span> such that it is less or equal to some <span class="math-container">$x$</span> on the real line. Then for any real number <span class="math-container">$y\in[0,x]$</span>, you have a sequence of reals bounded by <span class="math-container">$0$</span> and <span class="math-container">$x$</span> where it converges to that <span class="math-container">$y$</span>.Then, <span class="math-container">$L(x)$</span> contains all its limit points. Hence, it is closed.)</strong></p>
</blockquote>
<p>[Old Attempt]
My instinct was to show the lower contour set is closed is equivalent to showing the set contains all its limit points. And how do you do this? Well, in this case, it is to show whether, say the lower contour set, contains its boundary points. These points in collection is just the indifference set <span class="math-container">$I(x)=\{y\in X:y\sim x\}$</span>.</p>
<p>Then, I want to show <span class="math-container">$I(x)\subset L(x)$</span>.</p>
<p><em><strong>Proof</strong></em>
: (1) Suppose <span class="math-container">$x\in I(x)$</span>.</p>
<p>(2) By definition, <span class="math-container">$x\succsim y$</span> and <span class="math-container">$y\succsim x$</span> <span class="math-container">$\iff x\sim y$</span>. Hence, <span class="math-container">$I(x)=\{y\in X:y\succsim x\}\cap\{y\in X:x\succsim y\}$</span>.</p>
<p>(3) Hence, <span class="math-container">$x\in L(x)$</span> and <span class="math-container">$I(x)\subset L(x)$</span>. Q.E.D.</p>
<p>Is my approach incomplete and how should I make sense of MWG's claim above? Please help. Thank you!!</p>

CC BY-SA 3.0
2016-06-18T00:49:10.463Z
Showing $I(x) \subset L(x)$ is not enough to show $I(x)$ is the boundary set of $L(x)$. I think the way the indifference set is constructed though, you can say $I(x) = L(x) \cap U(x)$ to help.
Kitsune Cavalry
<microeconomics><consumer-theory><preferences><choice-theory>
(Preference Relation/Set) Continuous $\succsim$ imply closedness of upper and lower contour sets
Frank Swanton
# (Preference Relation/Set) Continuous $\succsim$ imply closedness of upper and lower contour sets

(Asked by: username_0 on 2016-06-17)

***[ADDED/MODIFIED] : I have put my proof where the commodity space is simply $\mathbb{R\_+}$(e.g. nonnegative reals) for simplicity below. Please share your 2 cent. I have put words to aid my own understanding...***

I am trying to understand that an equivalent way of stating "a preference relation that is continuous on $X$" is to say "the upper and lower contours sets are closed". What I don't understand is when MWG in Micro Book in Chapter 3 says the following :

**The continuity of $\succsim$ on X implies that for any sequence of points $\{y^n\}$ with $x\succsim y^n$ $\forall n$ and $y^n$ converging to $y$, we have $x\succsim y$. And, this implies the lower contour $L(x)=\{y\in X:x\succsim y\}$ set is closed.**

***My questions is: how does the above statement imply the lower contour set is closed?***

> **[New Attempt] Proof:**

> (1) Recall **Definition 3.C.1(Modified for $\mathbb{R}$)**:

The preference relation $\succsim$ on $X\subset\mathbb{R\_+}$ is continuous if it is preserved under limits. That is, for any sequence of pairs $\{(x^n, y^n)\}^\infty\_{n=1}$ with $x^n \succsim y^n$ for all $n$, $x = \lim\_{n \rightarrow \infty} x^n$, and $y = \lim\_{n \rightarrow \infty} y^n$, we have $x \succsim y$.

> **(In words, if you have a sequence of reals $x^n$ and $y^n$ where each term in $x^n$ is greater or equal to that of in $y^n$ and $x^n\rightarrow x$, $y^n\rightarrow y$, then you have $x\succsim y$. Notice here, to facilitate understanding, I basically equated the preference relation as the in\equality on reals, thus the expression "greater or equal". An example is $x=2,y=1$. Essentially, look at the equivalence class of 2 and 1 on real line with the restriction that it is not any sequence converging to these numbers but need to narrow down to the group of convergent sequences where each term in $x^n$ is greater or equal to that of in $y^n$.)**

> (2) The above definition implies the following: for any sequence of pairs $\{(x^n, y^n)\}^\infty\_{n=1}$ with $x\succsim y^n$ $\forall n$, where $x^n=x$ $\forall n$ with $y^n$ converging to $y$, we have $x\succsim y$.

> **((1) certainly implies (2), because again think of the example, $x^n=2, 2, 2, \dots$ and $y^n$ being any member of the equivalence class of 1 with the restriction each term has to be less or equal to 2. How does the set of the sequences $y^n$ satisfying this condition actually look like on the real line? Each term has to be less or equal to 2 but we are in the nonnegative commodity space $\mathbb{R\_+}$, so we have a set of sequences bounded in the interval $[0,2]$ but convergent to the number 1. This example is still valid for any pair of sequences of reals $x^n\geq y^n$ where $y^n$, the sequence of reals is a bounded sequence in $[0,x]$ converging to any a point $y\in[0,x]$ while $x^n=x,x,x,\dots$, we have $x\geq y$.)**

> (3) Define the lower contour set to be $L(x)=\{y\in X:x\succsim y\}$. Then, (2) implies $L(x)$ is closed.

> **(In (2), we attained that for any pair of sequences of reals $x^n\geq y^n$ where $y^n$, the sequence of reals is a bounded sequence in $[0,x]$ converging to any a point $y\in[0,x]$ while $x^n=x,x,x,\dots$, we have $x\geq y$. The lower contour set is exactly a collection of real numbers $y$ such that it is less or equal to some $x$ on the real line. Then for any real number $y\in[0,x]$, you have a sequence of reals bounded by $0$ and $x$ where it converges to that $y$.Then, $L(x)$ contains all its limit points. Hence, it is closed.)**

[Old Attempt]
My instinct was to show the lower contour set is closed is equivalent to showing the set contains all its limit points. And how do you do this? Well, in this case, it is to show whether, say the lower contour set, contains its boundary points. These points in collection is just the indifference set $I(x)=\{y\in X:y\sim x\}$.

Then, I want to show $I(x)\subset L(x)$.

***Proof***
: (1) Suppose $x\in I(x)$.

(2) By definition, $x\succsim y$ and $y\succsim x$ $\iff x\sim y$. Hence, $I(x)=\{y\in X:y\succsim x\}\cap\{y\in X:x\succsim y\}$.

(3) Hence, $x\in L(x)$ and $I(x)\subset L(x)$. Q.E.D.

Is my approach incomplete and how should I make sense of MWG's claim above? Please help. Thank you!!

**Tags:** microeconomics, consumer-theory, preferences, choice-theory
> **Comments:**
> **username_1**: Showing $I(x) \subset L(x)$ is not enough to show $I(x)$ is the boundary set of $L(x)$. I think the way the indifference set is constructed though, you can say $I(x) = L(x) \cap U(x)$ to help.  

---

## 1 answers

### Answer by username_1 on 2016-06-18. Score: 8 | Accepted answer

Looking more closely at your question, I think things should not be overly complicated. From Mas-Colell et.al.

**Definition 3.C.1:**

> The preference relation $\succsim$ on X is continuous if it is preserved under limits. That is, for any sequence of pairs $\{(x^n, y^n)\}^\infty\_{n=1}$ with $x^n \succsim y^n$ for all $n$, $x = \lim\_{n \rightarrow \infty} x^n$, and $y = \lim\_{n \rightarrow \infty} y^n$, we have $x \succsim y$

The book then goes on to state that showing the lower contour set and upper contour set are closed, is equivalent.

As you note, a closed set is a set that contains all its limit points. That means that any convergent sequence of points $\{x^n\}^\infty\_{n=1} \rightarrow x$ converges inside the set.

Because of the way the lower and upper contour sets are constructed, you can think of all the convergent sequences in the upper contour set as $\{x^n\}^\infty\_{n=1}$ and all the convergent sequences of points in the lower contour set as $\{y^n\}^\infty\_{n=1}$. In this case, all $x \succsim y$.

But it's not the same way for discontinuous preferences! Just try and draw discontinuous preferences where the contour sets are closed.

[![enter image description here](https://i.sstatic.net/ExF1F.png)](https://i.sstatic.net/ExF1F.png)

(enjoy that masterpiece)

Any convergent sequence to that open boundary there is trouble.

> **Comments:**
> **username_0**: Kitsune, thank you for the answer plus the picture; I am thoroughly appreciating the latter one as well :) While I re-read your answer to let it sink in, I at first didn't fully understood their definition of the contour set. Strictly set notation-wise speaking, for example lower contour set, denoted as $L(x)=\{y\in X:x\succsim y\}$. It got me confused, b/c we have $x$ in $L(x)$ but are talking about all other bundles $y$ such that condition. So pictorially, I understand this is basically the LHS lower half of the indifference curve in the case of $\mathbb{R}^2$.  
> **username_1**: Glad I could be of assistance.  
> **username_0**: Kitsune, please take a look at my new attempt.. Thanks!  

---

