<?xml version='1.0' encoding='UTF-8'?><?xml-stylesheet href="http://www.blogger.com/styles/atom.css" type="text/css"?><feed xmlns='http://www.w3.org/2005/Atom' xmlns:openSearch='http://a9.com/-/spec/opensearchrss/1.0/' xmlns:blogger='http://schemas.google.com/blogger/2008' xmlns:georss='http://www.georss.org/georss' xmlns:gd="http://schemas.google.com/g/2005" xmlns:thr='http://purl.org/syndication/thread/1.0'><id>tag:blogger.com,1999:blog-5093226861501871674</id><updated>2024-10-24T17:42:24.562-07:00</updated><category term="Econometrics"/><category term="Sigma-algebra"/><category term="Borel"/><category term="Freefall"/><category term="General"/><category term="Stiglitz"/><title type='text'>Economics Vault</title><subtitle type='html'></subtitle><link rel='http://schemas.google.com/g/2005#feed' type='application/atom+xml' href='http://econvault.blogspot.com/feeds/posts/default'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/5093226861501871674/posts/default?redirect=false'/><link rel='alternate' type='text/html' href='http://econvault.blogspot.com/'/><link rel='hub' href='http://pubsubhubbub.appspot.com/'/><author><name>F.Z.</name><uri>http://www.blogger.com/profile/01747618088014158352</uri><email>noreply@blogger.com</email><gd:image rel='http://schemas.google.com/g/2005#thumbnail' width='21' height='32' src='//blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhRMxid_xw0Fz8ASQN_y-x5vp7FVvxfYpOOIPLVyMdLd8HIZh8ji1jWz93jdqWb0vlOQgI6mw5ot6L1JOtmLFPt5INvsdmCgzQWTRQLEz3nk5EI_hegqoSTrEtpfqG9vw/s220/IMG_0737.jpg'/></author><generator version='7.00' uri='http://www.blogger.com'>Blogger</generator><openSearch:totalResults>5</openSearch:totalResults><openSearch:startIndex>1</openSearch:startIndex><openSearch:itemsPerPage>25</openSearch:itemsPerPage><entry><id>tag:blogger.com,1999:blog-5093226861501871674.post-8132410551241154176</id><published>2011-09-09T20:22:00.000-07:00</published><updated>2011-09-09T20:23:35.027-07:00</updated><title type='text'>Microeconomics I #1: Several theorems in Choice Theory</title><content type='html'>&lt;div style=&quot;text-align: justify;&quot;&gt;&lt;span class=&quot;Apple-style-span&quot; style=&quot;font-family: inherit;&quot;&gt;Another technical post before I switch back to my unfinished work on&amp;nbsp;&lt;i&gt;Freefall&lt;/i&gt; over the weekend. This time is something micro.&lt;/span&gt;&lt;/div&gt;&lt;div style=&quot;text-align: justify;&quot;&gt;&lt;span class=&quot;Apple-style-span&quot; style=&quot;font-family: inherit;&quot;&gt;&lt;br /&gt;
&lt;/span&gt;&lt;/div&gt;&lt;div style=&quot;text-align: justify;&quot;&gt;&lt;span class=&quot;Apple-style-span&quot; style=&quot;font-family: inherit;&quot;&gt;Some preliminaries:&lt;/span&gt;&lt;/div&gt;&lt;ol&gt;&lt;li style=&quot;text-align: justify;&quot;&gt;&lt;span class=&quot;Apple-style-span&quot; style=&quot;font-family: inherit;&quot;&gt;&lt;b&gt;Preference&lt;/b&gt; is a binary relation&amp;nbsp;≿&amp;nbsp;between x,y∈X, the set of all possible choices such that x≿y if and only if &quot;x is at least as good as y&quot;.&lt;/span&gt;&lt;/li&gt;
&lt;li style=&quot;text-align: justify;&quot;&gt;&lt;span class=&quot;Apple-style-span&quot; style=&quot;font-family: inherit;&quot;&gt;Preference is &lt;b&gt;complete&lt;/b&gt; if&amp;nbsp;&lt;span style=&quot;font-family: &#39;Arial Unicode MS&#39;, sans-serif; font-size: 10.5pt;&quot;&gt;∀&lt;/span&gt;x,y, either&amp;nbsp;x≿y or&amp;nbsp;y≿x or both. Preference is &lt;b&gt;transitive&lt;/b&gt; if&amp;nbsp;x≿y and y≿z imply&amp;nbsp;x≿z.&lt;/span&gt;&lt;/li&gt;
&lt;li style=&quot;text-align: justify;&quot;&gt;&lt;span class=&quot;Apple-style-span&quot; style=&quot;font-family: inherit;&quot;&gt;&lt;b&gt;Rational choice theory&lt;/b&gt; assumes that preferences are both complete and transitive.&lt;/span&gt;&lt;/li&gt;
&lt;li style=&quot;text-align: justify;&quot;&gt;&lt;span class=&quot;Apple-style-span&quot; style=&quot;font-family: inherit;&quot;&gt;Now, suppose we have established a preference&amp;nbsp;≿, and B is the set of available choices, define the &lt;b&gt;choice rule&lt;/b&gt; C(B;≿)={x∈B: x≿y for all y∈B}. Notice C(B;≿) may not be singleton. When B is finite,&amp;nbsp;C(B;≿) is non-empty; however, when B is infinite,&amp;nbsp;C(B;≿) can be empty.&lt;/span&gt;&lt;/li&gt;
&lt;li style=&quot;text-align: justify;&quot;&gt;&lt;span class=&quot;Apple-style-span&quot; style=&quot;font-family: inherit;&quot;&gt;For a given choice rule C(X), the &lt;b&gt;Houthaker&#39;s Axiom of Revealed Preference (HARP)&lt;/b&gt; states if x,y∈A∩B with x∈C(A) and y∈C(B), then x∈C(B) and y∈C(A).&lt;/span&gt;&lt;/li&gt;
&lt;/ol&gt;&lt;div style=&quot;text-align: justify;&quot;&gt;&lt;span class=&quot;Apple-style-span&quot; style=&quot;font-family: inherit;&quot;&gt;Some propositions:&lt;/span&gt;&lt;/div&gt;&lt;ol&gt;&lt;/ol&gt;&lt;div&gt;&lt;ol&gt;&lt;li style=&quot;text-align: justify;&quot;&gt;&lt;span class=&quot;Apple-style-span&quot; style=&quot;font-family: inherit;&quot;&gt;If a predetermined preference&amp;nbsp;≿&amp;nbsp;is complete and transitive over the choice set X, then the choice rule C(X;≿)&amp;nbsp;satisfies HARP.&lt;/span&gt;&lt;/li&gt;
&lt;li style=&quot;text-align: justify;&quot;&gt;&lt;span class=&quot;Apple-style-span&quot; style=&quot;font-family: inherit;&quot;&gt;Now suppose we only have revealed preferences in the forms of non-empty choice rule C, then there is a complete and transitive preference&amp;nbsp;≿&amp;nbsp;with C(A)=C(A;≿) for all subsets A of X if and only if C satisfies HARP.&lt;/span&gt;&lt;/li&gt;
&lt;/ol&gt;&lt;div style=&quot;text-align: justify;&quot;&gt;&lt;span class=&quot;Apple-style-span&quot; style=&quot;font-family: inherit;&quot;&gt;It is easier if we can represent a preference relation by a utility function.&lt;/span&gt;&lt;/div&gt;&lt;/div&gt;&lt;div&gt;&lt;ol&gt;&lt;li style=&quot;text-align: justify;&quot;&gt;&lt;span class=&quot;Apple-style-span&quot; style=&quot;font-family: inherit;&quot;&gt;A &lt;b&gt;utility function&lt;/b&gt;, u, is a mapping from the choice set X to the real numbers. Hence values of the utility function cannot be positive or negative infinity.&lt;/span&gt;&lt;/li&gt;
&lt;li style=&quot;text-align: justify;&quot;&gt;&lt;span class=&quot;Apple-style-span&quot; style=&quot;font-family: inherit;&quot;&gt;We say a utility function u &lt;b&gt;represents&lt;/b&gt; a preference relation&amp;nbsp;≿&amp;nbsp;(or the preference relation&amp;nbsp;≿&amp;nbsp;&lt;b&gt;affords&lt;/b&gt; the utility function u) if there is an equivalence between x≿y and u(x)≥u(y).&lt;/span&gt;&lt;/li&gt;
&lt;/ol&gt;&lt;div style=&quot;text-align: justify;&quot;&gt;&lt;span class=&quot;Apple-style-span&quot; style=&quot;font-family: inherit;&quot;&gt;Some more propositions on utility representation of preferences:&lt;/span&gt;&lt;/div&gt;&lt;/div&gt;&lt;div&gt;&lt;ul&gt;&lt;li style=&quot;text-align: justify;&quot;&gt;If the choice set X is &lt;b&gt;finite&lt;/b&gt;, then every complete and transitive preference has a utility representation.&lt;/li&gt;
&lt;/ul&gt;&lt;blockquote&gt;&lt;div style=&quot;text-align: justify;&quot;&gt;&lt;span class=&quot;Apple-style-span&quot; style=&quot;font-family: inherit;&quot;&gt;Proof: let n be the size of X, label elements in X with subscripts x_1, x_2,...,x_n, with x_n≿x_(n-1)≿...&lt;/span&gt;≿x_2≿x_1. Now let u(x_i)=i. Clearly u is a valid utility representation for the preference&amp;nbsp;≿.&amp;nbsp;QED&lt;/div&gt;&lt;/blockquote&gt;&lt;ul&gt;&lt;li style=&quot;text-align: justify;&quot;&gt;If the choice set X is &lt;b&gt;countable&lt;/b&gt;, then every complete and transitive preference has a utility representation.&lt;/li&gt;
&lt;/ul&gt;&lt;blockquote&gt;&lt;div style=&quot;text-align: justify;&quot;&gt;&lt;span class=&quot;Apple-style-span&quot; style=&quot;font-family: inherit;&quot;&gt;Proof: Let X={x_1,x_2,...}. Define the set &quot;No Better Than&quot; of some element x, NBT(x)={y∈X: x≿y}. By observation, we know&amp;nbsp;∀x,y∈X, either NBT(x)⊆NBT(y) or NBT(y)⊆NBT(x). Now define the utility function, u(x)=∑(0.5&lt;span class=&quot;Apple-style-span&quot; style=&quot;font-family: inherit;&quot;&gt;)^n, where n is the subscript of x_n for all x_n&lt;/span&gt;&lt;/span&gt;∈NBT(x). Then it is simple to verify (1) u(x) is well-define, in particular is convergent; (2) u is indeed a valid utility representation for the preference ≿. QED&lt;/div&gt;&lt;/blockquote&gt;&lt;ul&gt;&lt;li&gt;Note, the above &lt;span class=&quot;Apple-style-span&quot; style=&quot;font-family: inherit;&quot;&gt;proposition holds for any complete and transitive preferences over a countable choice set X, but not any arbitrary infinite set X. Consider for example X=[0,1]×[0,1], for any two points x=(a,b) and y=(c,d) in X, x≿y if either a&amp;gt;c or a=c but b≥d. This &lt;b&gt;lexicographic preference&lt;/b&gt; has no proper utility representation even though it is complete and transitive.&lt;/span&gt;&lt;/li&gt;
&lt;/ul&gt;&lt;blockquote&gt;Proof: By the definition of the preference, &lt;span class=&quot;Apple-style-span&quot; style=&quot;font-family: inherit;&quot;&gt;let&amp;nbsp;&lt;/span&gt;&lt;span class=&quot;Apple-style-span&quot; style=&quot;font-family: inherit;&quot;&gt;α&amp;lt;β&lt;/span&gt;∈[0,1], then (β,1)≿(β,0)≿(α,1)≿(α,0). Suppose there is a utility representation u affording this preference, then u(β,1)≥u(β,0)≥u(α,1)≥u(α,0). In fact these inequalities hold strictly. Now consider the two disjoint open intervals, A=(u(α,0),u(α,1)) and B=(u(β,0),u(β,1)). Due to the density of the rational numbers, there exist rational numbers p,q such that p∈A and q∈B. But there are uncountable pairs of real numbers (α,β) with&amp;nbsp;&lt;span class=&quot;Apple-style-span&quot; style=&quot;font-family: inherit;&quot;&gt;α&amp;lt;β&lt;/span&gt;∈[0,1], hence uncountable disjoint open intervals of those forms. This implies there are uncountable rational numbers in [0,1], but it contradicts with the fact that rational numbers are countable. Hence, by contradiction, such utility representation does not exist for this lexicographic preference defined on X. QED&lt;/blockquote&gt;&lt;ul&gt;&lt;li&gt;&lt;b&gt;Sufficient and necessary condition&lt;/b&gt;:&amp;nbsp;≿ over X has a utility representation if and onl&lt;span class=&quot;Apple-style-span&quot; style=&quot;font-family: inherit;&quot;&gt;y if&lt;span class=&quot;Apple-style-span&quot; style=&quot;font-family: inherit;&quot;&gt;&amp;nbsp;∃X*&lt;/span&gt;&lt;/span&gt;&lt;span class=&quot;Apple-style-span&quot; style=&quot;font-family: inherit;&quot;&gt;⊆X with X* being countable such that&amp;nbsp;&lt;/span&gt;∀x,y∈X with &lt;span class=&quot;Apple-style-span&quot; style=&quot;font-family: inherit;&quot;&gt;x≻y,&amp;nbsp;&lt;/span&gt;∃x*∈X* with x≿x*≻y.&lt;/li&gt;
&lt;/ul&gt;&lt;ul&gt;&lt;/ul&gt;&lt;/div&gt;</content><link rel='replies' type='application/atom+xml' href='http://econvault.blogspot.com/feeds/8132410551241154176/comments/default' title='Post Comments'/><link rel='replies' type='text/html' href='http://econvault.blogspot.com/2011/09/microeconomics-i-1-several-theorems-in.html#comment-form' title='0 Comments'/><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/5093226861501871674/posts/default/8132410551241154176'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/5093226861501871674/posts/default/8132410551241154176'/><link rel='alternate' type='text/html' href='http://econvault.blogspot.com/2011/09/microeconomics-i-1-several-theorems-in.html' title='Microeconomics I #1: Several theorems in Choice Theory'/><author><name>F.Z.</name><uri>http://www.blogger.com/profile/01747618088014158352</uri><email>noreply@blogger.com</email><gd:image rel='http://schemas.google.com/g/2005#thumbnail' width='21' height='32' src='//blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhRMxid_xw0Fz8ASQN_y-x5vp7FVvxfYpOOIPLVyMdLd8HIZh8ji1jWz93jdqWb0vlOQgI6mw5ot6L1JOtmLFPt5INvsdmCgzQWTRQLEz3nk5EI_hegqoSTrEtpfqG9vw/s220/IMG_0737.jpg'/></author><thr:total>0</thr:total></entry><entry><id>tag:blogger.com,1999:blog-5093226861501871674.post-5488330085283372448</id><published>2011-09-06T22:28:00.000-07:00</published><updated>2011-09-09T14:58:48.754-07:00</updated><category scheme="http://www.blogger.com/atom/ns#" term="Borel"/><category scheme="http://www.blogger.com/atom/ns#" term="Econometrics"/><category scheme="http://www.blogger.com/atom/ns#" term="Sigma-algebra"/><title type='text'>Econometrics I #2: Borel sigma-algebra</title><content type='html'>&lt;span class=&quot;Apple-style-span&quot; style=&quot;font-family: inherit;&quot;&gt;Borel σ-algebra is a special type of σ-algebra defined over a metric space. Here we only concern the Borel σ-algebra over the real line.&lt;br /&gt;
&lt;br /&gt;
&lt;u&gt;Definition 1&lt;/u&gt;: The &lt;b&gt;Borel σ-algebra&lt;/b&gt; over the reals, denoted as B, is the σ-algebra generated by all open sets. Elements of Borel σ-algebra are called &lt;b&gt;Borel sets&lt;/b&gt;.&lt;br /&gt;
&lt;br /&gt;
&lt;u&gt;Definition 2&lt;/u&gt;: A subset E of the reals is an &lt;b&gt;F_σ set&lt;/b&gt; if it is a countable union of closed sets; E is a &lt;b&gt;G_δ set&lt;/b&gt; if it is a countable intersection of open sets.&lt;br /&gt;
&lt;br /&gt;
Some consequences:&lt;/span&gt;&lt;br /&gt;
&lt;ol&gt;&lt;li&gt;&lt;span class=&quot;Apple-style-span&quot; style=&quot;font-family: inherit;&quot;&gt;Every G_δ set is a Borel set, by property of a σ-algebra. Since the complement of a G_δ set is an F_σ set, an F_σ set is a Borel set.&lt;/span&gt;&lt;/li&gt;
&lt;li&gt;&lt;span class=&quot;Apple-style-span&quot; style=&quot;font-family: inherit;&quot;&gt;Semi-open intervals of the form [a,b) (equivalently (a,b]) are both F_σ and G_δ, since [a,b)=∪[a,b-1/n]=∩(a-1/n,b). Hence [a,b) is a Borel set for any real number a and b.&lt;/span&gt;&lt;/li&gt;
&lt;/ol&gt;&lt;span class=&quot;Apple-style-span&quot; style=&quot;font-family: inherit;&quot;&gt;&lt;u&gt;An alternative definition 3 of Borel σ-algebra&lt;/u&gt; (Marcelo Moreira, Columbia): The Borel σ-algebra (over the reals) is the smallest σ-algebra containing sets of the form (-∞,x].&lt;br /&gt;
&lt;br /&gt;
I want to show that the two definitions are in fact equivalent.&lt;/span&gt;&lt;br /&gt;
&lt;div&gt;&lt;span class=&quot;Apple-style-span&quot; style=&quot;font-family: inherit;&quot;&gt;&lt;br /&gt;
&lt;/span&gt;&lt;/div&gt;&lt;div&gt;&lt;span class=&quot;Apple-style-span&quot; style=&quot;font-family: inherit;&quot;&gt;&lt;u&gt;Proof&lt;/u&gt;:&lt;/span&gt;&lt;br /&gt;
&lt;span class=&quot;Apple-style-span&quot; style=&quot;font-family: inherit;&quot;&gt;First we need to observe the following lemma.&lt;/span&gt;&lt;br /&gt;
&lt;span class=&quot;Apple-style-span&quot; style=&quot;font-family: inherit;&quot;&gt;&lt;br /&gt;
&lt;/span&gt;&lt;br /&gt;
&lt;span class=&quot;Apple-style-span&quot; style=&quot;font-family: inherit;&quot;&gt;Lemma:&amp;nbsp;&lt;/span&gt;&lt;/div&gt;&lt;div&gt;&lt;blockquote&gt;Suppose A and B are two&amp;nbsp;σ-algebras over the same space. Further, B is the&amp;nbsp;σ-algebra generated by F, a set of subsets in that space. Then A contains B if and only if A contains its generators (i.e. A contains elements of F).&lt;/blockquote&gt;Main Proposition:&lt;br /&gt;
&lt;blockquote&gt;Let A denote the Borel&amp;nbsp;σ-algebra in definition 1, i.e. A=σ(all open sets over reals). Let B denote the Borel&amp;nbsp;σ-algebra in definition 3, i.e. B=σ((-∞,x]:&lt;span class=&quot;Apple-style-span&quot; style=&quot;font-family: inherit;&quot;&gt;x is real). Therefore, we need to prove A=B as sets and in fact we need to prove the two-way inclusions of the two sets.&lt;/span&gt;&lt;/blockquote&gt;&lt;blockquote&gt;First, to show B is a subset of A, by the lemma, we just need to show its generator&amp;nbsp;(-∞,x]&amp;nbsp; is in A. But clearly (-∞,x] is G_δ, hence Borel in definition 1, a.k.a an element of A.&lt;/blockquote&gt;&lt;blockquote&gt;Then, to show A is a subset of B, similarly by the lemma, we need to show an arbitrary open interval (a,b) is in B. Notice the semi-open interval (a,b]=(-∞,b]∩{complement of&amp;nbsp;(-∞,a]} for all real number a and b, hence it is in B. Then the open interval (a,b)=∪(a,b-1/n]. Since every&amp;nbsp;(a,b-1/n] is in B, the countable union is in B, a.k.a (a,b) is in B for any real number a and b. With easy and similar treatment of the special cases (-∞,b),&amp;nbsp;(a,+∞) and&amp;nbsp;(-∞,+∞), we conclude that every open set is in B. Hence by lemma, A is a subset of B.&lt;/blockquote&gt;&lt;blockquote&gt;With the two inclusions, A=B and hence the two definitions are equivalent. QED&amp;nbsp;&lt;/blockquote&gt;&lt;/div&gt;</content><link rel='replies' type='application/atom+xml' href='http://econvault.blogspot.com/feeds/5488330085283372448/comments/default' title='Post Comments'/><link rel='replies' type='text/html' href='http://econvault.blogspot.com/2011/09/econometrics-i-2-borel-sigma-algebra_06.html#comment-form' title='0 Comments'/><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/5093226861501871674/posts/default/5488330085283372448'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/5093226861501871674/posts/default/5488330085283372448'/><link rel='alternate' type='text/html' href='http://econvault.blogspot.com/2011/09/econometrics-i-2-borel-sigma-algebra_06.html' title='Econometrics I #2: Borel sigma-algebra'/><author><name>F.Z.</name><uri>http://www.blogger.com/profile/01747618088014158352</uri><email>noreply@blogger.com</email><gd:image rel='http://schemas.google.com/g/2005#thumbnail' width='21' height='32' src='//blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhRMxid_xw0Fz8ASQN_y-x5vp7FVvxfYpOOIPLVyMdLd8HIZh8ji1jWz93jdqWb0vlOQgI6mw5ot6L1JOtmLFPt5INvsdmCgzQWTRQLEz3nk5EI_hegqoSTrEtpfqG9vw/s220/IMG_0737.jpg'/></author><thr:total>0</thr:total></entry><entry><id>tag:blogger.com,1999:blog-5093226861501871674.post-7684295110359155066</id><published>2011-09-06T19:05:00.000-07:00</published><updated>2011-09-09T14:57:11.929-07:00</updated><category scheme="http://www.blogger.com/atom/ns#" term="Econometrics"/><category scheme="http://www.blogger.com/atom/ns#" term="Sigma-algebra"/><title type='text'>Econometrics I #1: Sigma-algebra</title><content type='html'>&lt;div style=&quot;text-align: justify;&quot;&gt;&lt;span class=&quot;Apple-style-span&quot; style=&quot;font-family: inherit;&quot;&gt;An interesting concept in this first econometrics lecture (besides the routine probability/statistics stuff) was the notion of the&amp;nbsp;σ-algebra.&lt;/span&gt;&lt;/div&gt;&lt;div style=&quot;text-align: justify;&quot;&gt;&lt;span class=&quot;Apple-style-span&quot; style=&quot;font-family: inherit;&quot;&gt;&lt;br /&gt;
&lt;/span&gt;&lt;/div&gt;&lt;div style=&quot;text-align: justify;&quot;&gt;&lt;span class=&quot;Apple-style-span&quot; style=&quot;font-family: inherit;&quot;&gt;&lt;u&gt;Definition&lt;/u&gt;: Let B denote a set of some subsets of the sample space&amp;nbsp;Ω. Then B is a&amp;nbsp;&lt;b&gt;σ-algebra&lt;/b&gt;, if&lt;/span&gt;&lt;/div&gt;&lt;div&gt;&lt;ol&gt;&lt;li style=&quot;text-align: justify;&quot;&gt;&lt;span class=&quot;Apple-style-span&quot; style=&quot;font-family: inherit;&quot;&gt;Φ is an element of B;&lt;/span&gt;&lt;/li&gt;
&lt;li style=&quot;text-align: justify;&quot;&gt;&lt;span class=&quot;Apple-style-span&quot; style=&quot;font-family: inherit;&quot;&gt;If x is in B, then the complement of x in&amp;nbsp;Ω is in B;&lt;/span&gt;&lt;/li&gt;
&lt;li style=&quot;text-align: justify;&quot;&gt;&lt;span class=&quot;Apple-style-span&quot; style=&quot;font-family: inherit;&quot;&gt;A countable (finite/countably infinite) union of elements in B is an element in B.&lt;/span&gt;&lt;/li&gt;
&lt;/ol&gt;&lt;div style=&quot;text-align: justify;&quot;&gt;&lt;span class=&quot;Apple-style-span&quot; style=&quot;font-family: inherit;&quot;&gt;Some direct results from this definition:&lt;/span&gt;&lt;/div&gt;&lt;/div&gt;&lt;div&gt;&lt;ol&gt;&lt;li style=&quot;text-align: justify;&quot;&gt;&lt;span class=&quot;Apple-style-span&quot; style=&quot;font-family: inherit;&quot;&gt;B is a subset of the power set of&amp;nbsp;Ω, hence the power set of&amp;nbsp;Ω is a&amp;nbsp;σ-algebra.&lt;/span&gt;&lt;/li&gt;
&lt;li style=&quot;text-align: justify;&quot;&gt;&lt;span class=&quot;Apple-style-span&quot; style=&quot;font-family: inherit;&quot;&gt;Ω is in B, since&amp;nbsp;Ω is the complement of&amp;nbsp;Φ.&lt;/span&gt;&lt;/li&gt;
&lt;li style=&quot;text-align: justify;&quot;&gt;&lt;span class=&quot;Apple-style-span&quot; style=&quot;font-family: inherit;&quot;&gt;The trivial&amp;nbsp;σ-algebra would be the set {Φ,Ω}.&lt;/span&gt;&lt;/li&gt;
&lt;li style=&quot;text-align: justify;&quot;&gt;&lt;span class=&quot;Apple-style-span&quot; style=&quot;font-family: inherit;&quot;&gt;A countable intersection of elements in B is another element in B, since this intersection is equivalent to the complement of the countable union of the complements of those elements. (De Morgan&#39;s Law)&lt;/span&gt;&lt;/li&gt;
&lt;/ol&gt;&lt;span class=&quot;Apple-style-span&quot; style=&quot;font-family: inherit;&quot;&gt;For an arbitrary collection F of subsets of&amp;nbsp;Ω, there exists a unique smallest&amp;nbsp;σ-algebra B that contains F. B is called the&amp;nbsp;σ-algebra generated by F, or&amp;nbsp;σ(F).&lt;/span&gt;&lt;/div&gt;&lt;div style=&quot;text-align: justify;&quot;&gt;&lt;span class=&quot;Apple-style-span&quot; style=&quot;font-family: inherit;&quot;&gt;&lt;br /&gt;
&lt;/span&gt;&lt;/div&gt;&lt;div style=&quot;text-align: justify;&quot;&gt;&lt;span class=&quot;Apple-style-span&quot; style=&quot;font-family: inherit;&quot;&gt;&lt;u&gt;Proof&lt;/u&gt;:&lt;/span&gt;&lt;/div&gt;&lt;div style=&quot;text-align: justify;&quot;&gt;First the proof of the following lemma.&lt;/div&gt;&lt;div style=&quot;text-align: justify;&quot;&gt;&lt;br /&gt;
Lemma: For a fixed&amp;nbsp;Ω, any nonempty intersection of its&amp;nbsp;σ-algebras is a&amp;nbsp;σ-algebra.&lt;/div&gt;&lt;blockquote&gt;Clearly the intersection is a subset of the power set of&amp;nbsp;Ω, containing&amp;nbsp;Φ. (Property 1 checked) If x is an element in the intersection, x is an element of all the&amp;nbsp;σ-algebras, and so is x-complement. Hence x-complement is in the intersection. (Property 2 checked) Similarly, take a countable union of elements in the intersection, since all these elements are in the intersection, they are in every&amp;nbsp;σ-algebras, and so is their union. Hence this union is in the intersection. (Property 3 &lt;span class=&quot;Apple-style-span&quot; style=&quot;font-family: inherit;&quot;&gt;checked). QED&lt;/span&gt;&lt;/blockquote&gt;&lt;span class=&quot;Apple-style-span&quot; style=&quot;font-family: inherit;&quot;&gt;Main Proposition:&lt;/span&gt;&lt;br /&gt;
&lt;blockquote&gt;&lt;span class=&quot;Apple-style-span&quot; style=&quot;font-family: inherit;&quot;&gt;Let A&amp;nbsp;be the set of all&amp;nbsp;&lt;/span&gt;σ-algebras&lt;span class=&quot;Apple-style-span&quot; style=&quot;font-family: inherit;&quot;&gt;&amp;nbsp;of&amp;nbsp;&lt;/span&gt;Ω containing F. Clearly A is not empty because the power set of&amp;nbsp;Ω is in A. Then consider the intersection of all elements in A, call it G. G is apparently nonempty. Since every element of A contains F, G contains F. Since every element is a&amp;nbsp;σ-algebra, by the lemma, G is a&amp;nbsp;σ-algebra. And lastly, every element in A contains G, hence G is the smallest element in A. Or put it in another way, G is the smallest&amp;nbsp;σ-algebra containing F, a.k.a G=σ(F). QED&lt;/blockquote&gt;This is the first post concerning some technical stuff, and I find it quite interesting. I will post more on Borel sigma-algebra the next time. Enjoy.</content><link rel='replies' type='application/atom+xml' href='http://econvault.blogspot.com/feeds/7684295110359155066/comments/default' title='Post Comments'/><link rel='replies' type='text/html' href='http://econvault.blogspot.com/2011/09/econometrics-i-1-sigma-algebra.html#comment-form' title='0 Comments'/><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/5093226861501871674/posts/default/7684295110359155066'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/5093226861501871674/posts/default/7684295110359155066'/><link rel='alternate' type='text/html' href='http://econvault.blogspot.com/2011/09/econometrics-i-1-sigma-algebra.html' title='Econometrics I #1: Sigma-algebra'/><author><name>F.Z.</name><uri>http://www.blogger.com/profile/01747618088014158352</uri><email>noreply@blogger.com</email><gd:image rel='http://schemas.google.com/g/2005#thumbnail' width='21' height='32' src='//blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhRMxid_xw0Fz8ASQN_y-x5vp7FVvxfYpOOIPLVyMdLd8HIZh8ji1jWz93jdqWb0vlOQgI6mw5ot6L1JOtmLFPt5INvsdmCgzQWTRQLEz3nk5EI_hegqoSTrEtpfqG9vw/s220/IMG_0737.jpg'/></author><thr:total>0</thr:total></entry><entry><id>tag:blogger.com,1999:blog-5093226861501871674.post-5713353901373425635</id><published>2011-09-02T21:08:00.000-07:00</published><updated>2011-09-02T21:08:55.528-07:00</updated><category scheme="http://www.blogger.com/atom/ns#" term="Freefall"/><category scheme="http://www.blogger.com/atom/ns#" term="Stiglitz"/><title type='text'>On Freefall #1</title><content type='html'>&lt;div class=&quot;separator&quot; style=&quot;clear: both; text-align: center;&quot;&gt;&lt;a href=&quot;https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgV51WNouc4-CrseYDY9mYalEMQCHEzmi-2j8nN6VsWUbGZVp705RLzjS4BrZuh9AzMD1vR8ucIJljLYT5Vkanv0d_vdcXLuke2qP-JNG0eDQNMUjEn3-8Rr-_CMkoCiNQTpRJs0F2bq7Fm/s1600/book_3362.jpg&quot; imageanchor=&quot;1&quot; style=&quot;margin-left: 1em; margin-right: 1em;&quot;&gt;&lt;img border=&quot;0&quot; height=&quot;320&quot; src=&quot;https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgV51WNouc4-CrseYDY9mYalEMQCHEzmi-2j8nN6VsWUbGZVp705RLzjS4BrZuh9AzMD1vR8ucIJljLYT5Vkanv0d_vdcXLuke2qP-JNG0eDQNMUjEn3-8Rr-_CMkoCiNQTpRJs0F2bq7Fm/s320/book_3362.jpg&quot; width=&quot;210&quot; /&gt;&lt;/a&gt;&lt;/div&gt;&lt;div class=&quot;separator&quot; style=&quot;clear: both; text-align: justify;&quot;&gt;In this book, Joseph E. Stiglitz provided a holistic and in-depth analysis of the 2008 Great Recession. In this post (and many following ones), I would like to recapitulate the main theses of the book with my interpretations.&lt;/div&gt;&lt;div class=&quot;separator&quot; style=&quot;clear: both; text-align: justify;&quot;&gt;&lt;br /&gt;
&lt;/div&gt;&lt;div class=&quot;separator&quot; style=&quot;clear: both; text-align: justify;&quot;&gt;&lt;u&gt;The causes&lt;/u&gt;&lt;/div&gt;&lt;div class=&quot;separator&quot; style=&quot;clear: both; text-align: justify;&quot;&gt;&lt;u&gt;&lt;br /&gt;
&lt;/u&gt;&lt;/div&gt;&lt;div class=&quot;separator&quot; style=&quot;clear: both; text-align: justify;&quot;&gt;Many critics and commentators held Wall Streeters, and in particular their&amp;nbsp;insatiable&amp;nbsp;greed, responsible for this economic epidemic. However, Stiglitz believed that Wall Streeters were &lt;i&gt;no greedier&lt;/i&gt; than an ordinary American. He saw far deeper causes than greed - a part of human nature.&lt;/div&gt;&lt;div class=&quot;separator&quot; style=&quot;clear: both; text-align: justify;&quot;&gt;&lt;br /&gt;
&lt;/div&gt;&lt;div class=&quot;separator&quot; style=&quot;clear: both; text-align: justify;&quot;&gt;&lt;/div&gt;&lt;ol&gt;&lt;li&gt;Misaligned Incentives. This is a fundamental problem underlying many other problems in the financial sector. The banks and other financial intermediaries were supposed to be the middlemen between lenders and borrowers, easing the process of searching and matching and providing some basic functions such as credit assessment. However, these financial institutions had no incentive to ease this process by reducing transaction costs because these costs were indeed revenues for them. One such example was the failure to provide an efficient Electronic Payment System which was absolutely viable given the current advancement in technology. Similarly, mortgage dealers, who saw extra profits from collecting mortgage restructuring fees, would encourage borrowers to take on mortgages beyond their ability to repay and later offer them mortgage refinancing.&lt;/li&gt;
&lt;li&gt;Conflicting Interests. When commercial banks were allowed to merge with investment banks, a severe problem of conflicting interests arose. Typically commercial banks should be more risk averse since they were responsible for their depositors&#39; savings. On the other hand, investment banks tended to be more risk taking as they sought more profits. When these two different types of banks merged, the new entities, with more funds to play with, often undertook many gambling behaviors, putting depositors&#39; money at stake.&lt;/li&gt;
&lt;li&gt;Ill-conceived Financial Innovations. Innovations were supposed to bring more good than evil to the society as a whole. In particular, financial innovations should help people manage risk better and make the process easier. However, due to the mismatch between duties and incentives of the financial institutions, many complicated financial innovations such as&amp;nbsp;collateralized&amp;nbsp;debt obligations (CDO) and credit default swaps (CDS) in fact increased the risks enormously (due to the hidden systematic risks that were not accounted for by their ratings) and rendered risk assessment almost impossible (due to their complexity). These innovations helped build record high accounting profits, but the institutions&#39; actual positions were elusive.&lt;/li&gt;
&lt;li&gt;Deregulation. Since Clinton&#39;s term, special interest groups in the financial sector had gained enough political power and successfully shielded the industry from governmental scrutiny. Furthermore, the regulators of the various financial institutions were themselves from Wall Street; they often shared a common interest with those being monitored. This lack of effective regulation made possible all these crafty innovations and mergers of commercial and investment banks on top of many illicit fraudulent behaviors. &lt;/li&gt;
&lt;li&gt;Loose Monetary Policies. Federal Reserve had long kept the interest rate at low level, flooding the economy with liquidity. This discouraged savings and encouraged more risky investments. In particular, financing through mortgage and mortgage restructuring appeared very lucrative when the interest rate was low, and helped sustain a normally unsustainable level of consumption.&lt;/li&gt;
&lt;li&gt;False Belief in Free Markets. The fervent belief in free markets was the ideological cause of this crisis. Free market fundamentalists were predominant in both Wall Street and Washington D.C. They supported the deregulation movement which eventually led to an&amp;nbsp;over-sized, inefficient and irresponsible&amp;nbsp;financial sector.&lt;/li&gt;
&lt;/ol&gt;</content><link rel='replies' type='application/atom+xml' href='http://econvault.blogspot.com/feeds/5713353901373425635/comments/default' title='Post Comments'/><link rel='replies' type='text/html' href='http://econvault.blogspot.com/2011/09/on-freefall-1.html#comment-form' title='0 Comments'/><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/5093226861501871674/posts/default/5713353901373425635'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/5093226861501871674/posts/default/5713353901373425635'/><link rel='alternate' type='text/html' href='http://econvault.blogspot.com/2011/09/on-freefall-1.html' title='On Freefall #1'/><author><name>F.Z.</name><uri>http://www.blogger.com/profile/01747618088014158352</uri><email>noreply@blogger.com</email><gd:image rel='http://schemas.google.com/g/2005#thumbnail' width='21' height='32' src='//blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhRMxid_xw0Fz8ASQN_y-x5vp7FVvxfYpOOIPLVyMdLd8HIZh8ji1jWz93jdqWb0vlOQgI6mw5ot6L1JOtmLFPt5INvsdmCgzQWTRQLEz3nk5EI_hegqoSTrEtpfqG9vw/s220/IMG_0737.jpg'/></author><media:thumbnail xmlns:media="http://search.yahoo.com/mrss/" url="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgV51WNouc4-CrseYDY9mYalEMQCHEzmi-2j8nN6VsWUbGZVp705RLzjS4BrZuh9AzMD1vR8ucIJljLYT5Vkanv0d_vdcXLuke2qP-JNG0eDQNMUjEn3-8Rr-_CMkoCiNQTpRJs0F2bq7Fm/s72-c/book_3362.jpg" height="72" width="72"/><thr:total>0</thr:total></entry><entry><id>tag:blogger.com,1999:blog-5093226861501871674.post-2065327259916899228</id><published>2011-09-01T16:23:00.000-07:00</published><updated>2011-09-02T13:06:05.122-07:00</updated><category scheme="http://www.blogger.com/atom/ns#" term="General"/><title type='text'>Opening Post</title><content type='html'>&lt;div style=&quot;text-align: justify;&quot;&gt;As suggested by the name of this blog, I intend to archive all my economics readings, thoughts and writings here for today&#39;s record and tomorrow&#39;s reference, in an efficient and orderly manner.&lt;/div&gt;&lt;div style=&quot;text-align: justify;&quot;&gt;&lt;br /&gt;
&lt;/div&gt;&lt;div style=&quot;text-align: justify;&quot;&gt;It is primarily a personal blog, but critical yet constructive comments are welcome!&lt;/div&gt;</content><link rel='replies' type='application/atom+xml' href='http://econvault.blogspot.com/feeds/2065327259916899228/comments/default' title='Post Comments'/><link rel='replies' type='text/html' href='http://econvault.blogspot.com/2011/09/opening-post.html#comment-form' title='0 Comments'/><link rel='edit' type='application/atom+xml' href='http://www.blogger.com/feeds/5093226861501871674/posts/default/2065327259916899228'/><link rel='self' type='application/atom+xml' href='http://www.blogger.com/feeds/5093226861501871674/posts/default/2065327259916899228'/><link rel='alternate' type='text/html' href='http://econvault.blogspot.com/2011/09/opening-post.html' title='Opening Post'/><author><name>F.Z.</name><uri>http://www.blogger.com/profile/01747618088014158352</uri><email>noreply@blogger.com</email><gd:image rel='http://schemas.google.com/g/2005#thumbnail' width='21' height='32' src='//blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEhRMxid_xw0Fz8ASQN_y-x5vp7FVvxfYpOOIPLVyMdLd8HIZh8ji1jWz93jdqWb0vlOQgI6mw5ot6L1JOtmLFPt5INvsdmCgzQWTRQLEz3nk5EI_hegqoSTrEtpfqG9vw/s220/IMG_0737.jpg'/></author><thr:total>0</thr:total></entry></feed>