04.03.2015 Views

ECON 381 SC 2012 ASSIGNMENT 1 (CORRECTED) Answer all the ...

ECON 381 SC 2012 ASSIGNMENT 1 (CORRECTED) Answer all the ...

ECON 381 SC 2012 ASSIGNMENT 1 (CORRECTED) Answer all the ...

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

<strong>ECON</strong> <strong>381</strong> <strong>SC</strong> <strong>2012</strong> <strong>ASSIGNMENT</strong> 1<br />

(<strong>CORRECTED</strong>)<br />

JOHN HILLAS<br />

UNIVERSITY OF AUCKLAND<br />

<strong>Answer</strong> <strong>all</strong> <strong>the</strong> following problems. Each problem is worth <strong>the</strong> same number of<br />

marks (20). For questions with multiple parts each part is worth <strong>the</strong> same number<br />

of marks. Some parts are however significantly harder and longer than o<strong>the</strong>rs.<br />

Problem 1. Use a truth table to find whe<strong>the</strong>r <strong>the</strong> following statements are equivalent.<br />

Explain precisely why <strong>the</strong> truth table implies <strong>the</strong> result that you state.<br />

((p ⇒ r)∨(q ⇒ p)) and ((p∧q) ⇒ r).<br />

Problem 2. Let X = {a,b,c,d,e}. In <strong>the</strong> following questions use this set X.<br />

(i) Write out explicitly what <strong>the</strong> set X×X is. Explain what we mean by a binary<br />

relation on X and define this explicitly and form<strong>all</strong>y.<br />

(ii) Give an example of a binary relation on X that is complete and one that is<br />

not complete.<br />

(iii) Give an example of a binary relation that is transitive but not negatively<br />

transitive.<br />

(iv) Give an example of a binary relation that is negatively transitive but not<br />

transitive.<br />

(v) What is an equivalence? Give an example of an equivalence on X.<br />

Problem 3. Let X = {x,y,z} and Y = {a,b,c,d,e}<br />

(i) Give an example of a function f : X → Y that is one-to-one, that is, that is<br />

an injection.<br />

(ii) Is <strong>the</strong> function that you have given onto, that is, a surjection?<br />

(iii) What is <strong>the</strong> range of <strong>the</strong> function you have given?<br />

(iv) If we let <strong>the</strong> range of f be denoted f(X) consider <strong>the</strong> function ˜f : X → f(X)?<br />

Is this function one-to-one or onto (or both)?<br />

(v) Does ˜f have an inverse? If so find that inverse, if not explain why <strong>the</strong> inverse<br />

does not exist.<br />

Problem 4. Consider <strong>the</strong> following “metric” (“metric” is in quotes since, until you<br />

do 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><br />

set of <strong>all</strong> n−tuples of real numbers:<br />

{<br />

0 if x = y,<br />

d D (x,y) =<br />

1 o<strong>the</strong>rwise.<br />

This metric is c<strong>all</strong>ed <strong>the</strong> discrete metric.<br />

(i) Prove that for any set X <strong>the</strong> discrete metric d D is a metric.<br />

(ii) Let X be any set and consider <strong>the</strong> metric space (X,d D ). What are <strong>the</strong> open<br />

subsets of X with this metric? You should prove your answer not just state<br />

what <strong>the</strong> set is.<br />

Date: Second Semester, 2011.<br />

1


2 JOHN HILLAS UNIVERSITY OF AUCKLAND<br />

Problem 5. Let (X,d) be a metric space.<br />

Ano<strong>the</strong>r approach to putting structure of a set X is to directly specify <strong>the</strong> open<br />

sets. Such a space is c<strong>all</strong>ed a topological space. If (X,τ) is a topological space <strong>the</strong>n<br />

X is a set and τ is a collection of subsets of X such that<br />

1. X ∈ τ<br />

2. ∅ ∈ τ<br />

3. If A and B are in τ <strong>the</strong>n A∩B is in τ. That is, <strong>the</strong> intersection of two elements<br />

of τ is in τ. (This also implies that <strong>the</strong> intersection of any finite number of<br />

elements of τ is in τ.)<br />

4. If A n is in τ for every n ∈ N for some set N that might be finite or infinite <strong>the</strong>n<br />

∪ n∈N A n is in τ. That is, <strong>the</strong> union of any number of elements of τ is in τ.<br />

Now let X = {a,b,c,d,e}. For <strong>the</strong> questions below use this particular set X.<br />

(i) Show that for any metric d <strong>the</strong> set of open subsets of X are <strong>the</strong> same. Find<br />

what this collection of open sets is.<br />

(ii) Show that if we let τ = {X,∅} that this collection of “open sets” satisfies <strong>the</strong><br />

four properties given above.<br />

(iii) Show that this topology cannot come from any metric. (Hint: you have<br />

essenti<strong>all</strong>y already show this in your answer to part (i).)<br />

(iv) Give ano<strong>the</strong>r set τ that satisfies <strong>the</strong> four properties given above.<br />

(v) Characterise <strong>the</strong> set of <strong>all</strong> possible topologies τ on X that satisfy <strong>the</strong> four<br />

properties.

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

Saved successfully!

Ooh no, something went wrong!