10.07.2015 Views

ECON 381 SC 2012 ASSIGNMENT 1 ANSWERS Answer all the ...

ECON 381 SC 2012 ASSIGNMENT 1 ANSWERS Answer all the ...

ECON 381 SC 2012 ASSIGNMENT 1 ANSWERS Answer all the ...

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

<strong>ECON</strong> <strong>381</strong> <strong>SC</strong> <strong>2012</strong> <strong>ASSIGNMENT</strong> 1<strong>ANSWERS</strong>JOHN HILLASUNIVERSITY OF AUCKLAND<strong>Answer</strong> <strong>all</strong> <strong>the</strong> following problems. Each problem is worth <strong>the</strong> same number ofmarks (20). For questions with multiple parts each part is worth <strong>the</strong> same numberof marks. Some parts are however significantly harder and longer than o<strong>the</strong>rs.Problem 1. Use a truth table to find whe<strong>the</strong>r <strong>the</strong> following statements are equivalent.Explain precisely why <strong>the</strong> truth table implies <strong>the</strong> result that you state.((p ⇒ r)∨(q ⇒ p)) and ((p∧q) ⇒ r).p q r ((p ⇒ r)∨(q ⇒ p)) ((p∧q) ⇒ r)T T T T TT T F T FT F T T TT F F T TF T T T TF T F T TF F T T TF F F T TWe see on <strong>the</strong> second line of <strong>the</strong> truth table that when p is true,q is true and r is false <strong>the</strong> first statement is true while <strong>the</strong> secondstatement is false. So <strong>the</strong>y are not logic<strong>all</strong>y equivalent. In fact <strong>the</strong>first statement is a tautology.Problem 2. Let X = {a,b,c,d,e}. In <strong>the</strong> following questions use this set X.(i) Write out explicitly what <strong>the</strong> set X×X is. Explain what we mean by a binaryrelation on X and define this explicitly and form<strong>all</strong>y.X ×X = {(a,a),(a,b),(a,c),(a,d),(a,e),(b,a),(b,b),(b,c),(b,d),(b,e),(c,a),(c,b),(c,c),(c,d),(c,e),(d,a),(d,b),(d,c),(d,d),(d,e),(e,a),(e,b),(e,c),(e,d),(e,e)}A binary relation on X expresses some relation among <strong>the</strong>members of X. We write xRy or (x,y) ∈ R to mean thatx has <strong>the</strong> relation R to y. Form<strong>all</strong>y a binary relation is anysubset of X ×X, including <strong>the</strong> empty set and <strong>all</strong> of X ×X.(ii) Give an example of a binary relation on X that is complete and one that isnot complete.Date: Second Semester, 2011.1


2 JOHN HILLAS UNIVERSITY OF AUCKLANDThere are many correct answers to this question. The essentialfeature of a correct answer is that for each pair of pointsx and y ei<strong>the</strong>r (x,y) or y,x should be in <strong>the</strong> set R. For exampleei<strong>the</strong>r (a,b) or (b,a) should be in <strong>the</strong> set. Since in ourdefinition of completeness we do not exclude <strong>the</strong> possibilitythat x = y we also require that for each possible value of x<strong>the</strong> pair (x,x) is in <strong>the</strong> set R. A relation is not complete if forsome pair of points x and y nei<strong>the</strong>r (x,y) nor (y,x) is in <strong>the</strong>set R. Perhaps <strong>the</strong> simplest, though not <strong>the</strong> most interestinganswers are that R = X × X is complete and R = ∅ is notcomplete. But <strong>the</strong>re are many o<strong>the</strong>r correct answers.(iii) Give an example of a binary relation that is transitive but not negativelytransitive.Again, <strong>the</strong>re are many correct answers. One particularlymeaningful one that we discussed in class was <strong>the</strong> strict preferencerelation for a consumer with threshold effect. Supposeor consumer likes earlier letters in <strong>the</strong> alphabet better thanlater letters, but in order to actu<strong>all</strong>y prefer one letter overano<strong>the</strong>rit must be at least two places earlier. Thus he prefersa to c but is indifferent between a and b. Such preferenceswould be described by <strong>the</strong> following relation:P = {(a,c),(a,d),(a,e),(b,d),(b,e),(c,e)}.This relation is transitive. The only possibility for x, y, andz <strong>all</strong> different with xPy and yPz is x = a, y = c and z = e,but in this case <strong>the</strong> condition for transitivity is met since wehave aPe, that is (a,e) is in P. However <strong>the</strong> relation is notnegatively transitive since we have aPc but have nei<strong>the</strong>r aPbnor bPc.Ano<strong>the</strong>r relation that is transitive but not negatively transitiveis given by any nontrivial equivalence. In our example“equals” is a natural example.I = {(a,a),(b,b),(c,c),(d,d),(e,e)}.Again, this is transitive. The only possibility for x, y, andz with xIy and yIz has x = y = z, but <strong>the</strong>n we also havexIz. It is not negatively transitive since we have aIa buthave nei<strong>the</strong>r aIb nor bIa.You can make slightly less trivial examples by having <strong>the</strong>consumer indifferent between some pairs of letters. ConsiderI = {(a,a),(a,b),(b,a),(b,b),(c,c),(c,d),(d,c),(d,d),(e,e)}.This relation too is transitive, but not negatively transitive.Proof for this case is left to you.(iv) Give an example of a binary relation that is negatively transitive but nottransitive.The notion of negative transitivity of a relation R is so c<strong>all</strong>edbecause it corresponds to <strong>the</strong> relation defined by notR beingtransitive. Thus each of <strong>the</strong> examples in <strong>the</strong> previous answergenerates an answer to this question. Simply take <strong>the</strong> complementof <strong>the</strong> relation in X ×X. So for P this would give


<strong>ECON</strong> <strong>381</strong> <strong>SC</strong> <strong>2012</strong> <strong>ASSIGNMENT</strong> 1 <strong>ANSWERS</strong> 3<strong>the</strong> relationnotP = X ×X\P = {(a,a),(a,b),(b,a),(b,b),(b,c),(c,a),(c,b),(c,c),(c,d),(d,a),(d,b),(d,c),(d,d),(d,e),(e,a),(e,b),(e,c),(e,d),(e,e)}This relation is not transitive since we have (a,b) and (b,c)in <strong>the</strong> relation but not (a,c). It’s a bit more tedious to seethat <strong>the</strong> relation is negatively transitive. For notP to benegatively transitive we require that if xnotPy <strong>the</strong>n ei<strong>the</strong>rxnotPz or znotPy. We see that <strong>the</strong>re are quite a few pairsin <strong>the</strong> relation notP. It would be very tedious to check eachcase that xnotPy. But we know that <strong>the</strong> condition will besatisfied as long as ei<strong>the</strong>r xnotPz or znotPy and it’s a loteasier to check <strong>the</strong> cases in which this does not happen. Forwhat values of x, y, and z do we have not ((xnotPz) or(znotPy)) that is (not(xnotPz)) and (not(znotPy))? From<strong>the</strong> definition of notP this is when xPz and zPy. As we sawin <strong>the</strong> answer to <strong>the</strong> previous question <strong>the</strong> only possibility forthis is x = a, z = c, and y = e. But <strong>the</strong>n (x,y) = (a,e) is inP and so is not in notP, and so for this combination of x, y,and z we do not require that ei<strong>the</strong>r xnotPz or znotPy. Thuswe have <strong>the</strong> condition “ei<strong>the</strong>r xnotPz or znotPy” wheneverrequired and so <strong>the</strong> relation notP is negatively transitive.Similarlywecouldgenerateexamplesfromanyof<strong>the</strong>o<strong>the</strong>ranswers to <strong>the</strong> previous question.(v) What is an equivalence? Give an example of an equivalence on X.An equivalence is a binary relation that is symmetric andtransitive. We gave a couple of examples in <strong>the</strong> answer toquestion (ii), namelyandI = {(a,a),(b,b),(c,c),(d,d),(e,e)}I = {(a,a),(a,b),(b,a),(b,b),(c,c),(c,d),(d,c),(d,d),(e,e)}.Since we have already seen that <strong>the</strong>se relations are transitivewe need only to check that <strong>the</strong>y are symmetric, that isthat when (x,y) is in <strong>the</strong> relation <strong>the</strong>n so is (y,x). This iscompletely trivial in <strong>the</strong> first case—<strong>the</strong> only pairs in <strong>the</strong> relationare of <strong>the</strong> form (x,x). In <strong>the</strong> second case <strong>the</strong> additionalpairs are (a,b) and (b,a) and (c,d) and (d,c). so we see thatwhenever (x,y) is <strong>the</strong>re <strong>the</strong>n so is (y,x), as required.Problem 3. Let X = {x,y,z} and Y = {a,b,c,d,e}(i) Give an example of a function f : X → Y that is one-to-one, that is, that isan injection.The requirement is that different points in X go to differentpoints in Y. There are many such functions. One is given byf(x) = a, f(y) = b, and f(z) = c.(ii) Is <strong>the</strong> function that you have given onto, that is, a surjection?


4 JOHN HILLAS UNIVERSITY OF AUCKLANDNo. ThereisnoelementofX thatmapstod. Weseethatthismust be <strong>the</strong> case whatever function we choose <strong>the</strong>re are onlythree points in X and each of <strong>the</strong>m maps to only one pointin Y. Since <strong>the</strong>re are 5 points in Y at least 2 of <strong>the</strong>m mustnot be images of any point in X. (Given that <strong>the</strong> function isassumed to be one-to-one exactly two of <strong>the</strong>m are not imagesof any point in X. In my answer d and e are not images ofany point in X.(iii) What is <strong>the</strong> range of <strong>the</strong> function you have given?The range of f, that is f(X) is {a,b,c}(iv) If we let <strong>the</strong> range of f be denoted f(X) consider <strong>the</strong> function ˜f : X → f(X)?Is this function one-to-one or onto (or both)?It’s one-to-one since <strong>the</strong> function f is one-to-one. It’s ontosince <strong>all</strong> points that are not images of some point in X havebeen left out of <strong>the</strong> co-domain.(v) Does ˜f have an inverse? If so find that inverse, if not explain why <strong>the</strong> inversedoes not exist.Yes. Being one-to-one and onto is a necessary and sufficientcondition for a function to have an inverse. ˜f−1 : f(X) → Xis given by ˜f −1 (a) = x, ˜f−1 (b) = y, and ˜f −1 (c) = z.Problem 4. Consider <strong>the</strong> following “metric” (“metric” is in quotes since, until youdo part (i) of <strong>the</strong> problem, you don’t know that this is actu<strong>all</strong>y a metric) on <strong>the</strong>set of <strong>all</strong> n−tuples of real numbers:{0 if x = y,d D (x,y) =1 o<strong>the</strong>rwise.This metric is c<strong>all</strong>ed <strong>the</strong> discrete metric.(i) Prove that for any set X <strong>the</strong> discrete metric d D is a metric.A function d : X ×X → R is a metric if for <strong>all</strong> x, y, and z inX1. d(x,y) ≥ 0 and d(x,y) = 0 if and only if x = y,2. d(x,y) = d(y,x),3. d(x,y) ≤ d(x,z)+d(z,y).If x = y <strong>the</strong>n d D (x,y) = 0 = d D (y,x) and if x ≠ y <strong>the</strong>nd D (x,y) = 1 = d D (y,x). This proves both properties 1 and2.If x = y <strong>the</strong>n d D (x,y) = 0 ≤ d D (x,z)+d D (z,y) by Property1,whichwe’vealreadyproved.Ifx ≠ y <strong>the</strong>nd D (x,y) = 1but we must have ei<strong>the</strong>r x ≠ z or y ≠ z (since if x = z andy = z <strong>the</strong>n x = y). But <strong>the</strong>n d D (x,z) + d D (z,y) is ei<strong>the</strong>r1 + 0 = 1 or 0 + 1 = 1 or 1 + 1 = 2, and, in any cased D (x,y) = 1 ≤ d D (x,z) + d D (z,y). Hence Property 3 issatisfied.(ii) Let X be any set and consider <strong>the</strong> metric space (X,d D ). What are <strong>the</strong> opensubsets of X with this metric? You should prove your answer not just statewhat <strong>the</strong> set is.What are <strong>the</strong> open b<strong>all</strong>s with metric d D ? If <strong>the</strong> radius r isgreaterthan 1 <strong>the</strong>n for any x ∈ X is distance less than r fromx so every point in X is in <strong>the</strong> b<strong>all</strong>. If <strong>the</strong> radius is less thanor equal to 1 <strong>the</strong>n onlyx is distance less than r from x. That


<strong>ECON</strong> <strong>381</strong> <strong>SC</strong> <strong>2012</strong> <strong>ASSIGNMENT</strong> 1 <strong>ANSWERS</strong> 5isB r (x) ={{x} if r ≤ 1X if r > 1 .Now let S ⊂ X and let x ∈ S. Then <strong>the</strong>re is some r > 0,namely r = 1 (or any positive value less than 1), such thatB r (x) = {x} ⊂ S. Thus S is an open set.We have shown that any set S ⊂ X is open. The open setsare <strong>all</strong> <strong>the</strong> subsets of X.Notice that we didn’t make any assumptions about <strong>the</strong> setX. We can define <strong>the</strong> discrete metric on any set and withthat metric <strong>all</strong> <strong>the</strong> subsets of our set are open. This usu<strong>all</strong>yisn’t a particularly useful structure to put on <strong>the</strong> set.Problem 5. Let (X,d) be a metric space.Ano<strong>the</strong>r approach to putting structure of a set X is to directly specify <strong>the</strong> opensets. Such a space is c<strong>all</strong>ed a topological space. If (X,τ) is a topological space <strong>the</strong>nX is a set and τ is a collection of subsets of X such that1. X ∈ τ2. ∅ ∈ τ3. If A and B are in τ <strong>the</strong>n A∩B is in τ. That is, <strong>the</strong> intersection of two elementsof τ is in τ. (This also implies that <strong>the</strong> intersection of any finite number ofelements of τ is in τ.)4. If A n is in τ for every n ∈ N for some set N that might be finite or infinite <strong>the</strong>n∪ n∈N A n is in τ. That is, <strong>the</strong> union of any number of elements of τ is in τ.Now let X = {a,b,c,d,e}. For <strong>the</strong> questions below use this particular set X.(i) Show that for any metric d <strong>the</strong> set of open subsets of X are <strong>the</strong> same. Findwhat this collection of open sets is.In <strong>the</strong> previous problem we considered a general set butlooked at a particular metric for each possible set. In thisproblem we look at a particular set X but ask about <strong>all</strong> possiblemetrics. The essential feature of <strong>the</strong> set we consider isthat it contains only a finite number of elements—in our casefive. We essenti<strong>all</strong>y find <strong>the</strong> same result. All sets are open.And <strong>the</strong> reasoningis quite similar. Let us consider some metricd on X. For any x and y in X with x ≠ y d(x,y) > 0.Consider s = min x,y∈X|x≠y d(x,y), that is <strong>the</strong> sm<strong>all</strong>est distancebetween elements of X o<strong>the</strong>r than <strong>the</strong> distance fromeach point to itself. This is <strong>the</strong> sm<strong>all</strong>est of a finite umberof strictly positive numbers and so s > 0 and if x ≠ y <strong>the</strong>nd(x,y) ≥ s. Thus for any x ∈ X = {a,b,c,d,e} we haveB s (x) = {x}. Now, as in <strong>the</strong> previous problem, let S ⊂ Xand let x ∈ S. Then <strong>the</strong>re is some r > 0, namely r = s (orany positive value less than s), such that B r (x) = {x} ⊂ S.Thus S is an open set. Again <strong>the</strong> set of open sets is <strong>the</strong> collectionof <strong>all</strong> subsets of X. (Of course in this case we knowwhat X is so we know what <strong>the</strong> set of <strong>all</strong> subsets is. Thereare 32 of <strong>the</strong>m, including <strong>the</strong> empty set.(ii) Show that if we let τ = {X,∅} that this collection of “open sets” satisfies <strong>the</strong>four properties given above.This is quite an easy problem. The only difficulty is beingpedantic enough to find something to say. Here is a fairlycomplete answer. Since X ∈ {X,∅} Property 1 is satisfied.


6 JOHN HILLAS UNIVERSITY OF AUCKLANDSince ∅ ∈ {X,∅} Property 2 is satisfied. For any A,B ∈{X,∅} if A = B = X <strong>the</strong>n A∩B = X ∈ {X,∅}. O<strong>the</strong>rwiseat least one of A and B are ∅ and <strong>the</strong>n A∩B = ∅ ∈ {X,∅}.So, in <strong>all</strong> cases, if A,B ∈ {X,∅} <strong>the</strong>n A ∩ B ∈ {X,∅} soProperty 3 is satisfied. Now suppose that for some collectionof sets {A n | n ∈ N} with A n ∈ {X,∅} for <strong>all</strong> n. Each A n isei<strong>the</strong>r ∅ or X. If A n = ∅ for <strong>all</strong> n <strong>the</strong>n ∪ n∈N A n = ∅ ∈ {X,∅}.If not <strong>the</strong>n A n ≠ ∅ for at least one n and for that n it must bethat A n = X. But <strong>the</strong>n ∪ n∈N A n = X ∈ {X,∅}. So Property4 is satisfied.(iii) Show that this topology cannot come from any metric. (Hint: you haveessenti<strong>all</strong>y already show this in your answer to part (i).)In part (i) we saw that whatever metric we use <strong>the</strong> collectionof open sets is <strong>all</strong> subsets of {a,b,c,d,e}. There are 32 suchopen sets. The topology τ = {X,∅} is not this collection soit cannot come from any metric.(iv) Give ano<strong>the</strong>r set τ that satisfies <strong>the</strong> four properties given above.There are many such τ. Here are a few examples:τ = {X,{a},∅}τ = {X,{a,b},∅}τ = {X,{a},{a,b},∅}τ = {X,{a},{b},{a,b},∅}τ = {X,{a},{b},{a,b},{a,b,c},∅}τ = {X,{c},{a,b,c},{c,d,e},∅}(v) Characterise <strong>the</strong> set of <strong>all</strong> possible topologies τ on X that satisfy <strong>the</strong> fourproperties.Looking at <strong>the</strong> examples I gave in <strong>the</strong> previous part you seesome difficulties if you try to give a very explicit characterisationvery far away from simply “applying <strong>the</strong> properties.”Here is one characterisation. There are 32 subsets of X.The collection must include ∅ and X. You can include anyof <strong>the</strong> o<strong>the</strong>r 30 subsets. Then add <strong>all</strong> intersection of subcollectionsof <strong>the</strong> sets you have added and <strong>all</strong> unions of subcollectionsof <strong>the</strong> sets you have added. The resulting collectionwill satisfy <strong>the</strong> axioms and <strong>all</strong> collections satisfying <strong>the</strong>axioms can be obtained in this way.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!