Skip to main content

Question 3.9

Solutions

TZ
leumasicOfficial

3 months ago

a)

CAB=CACB.C_{A\cap B}=C_A C_B.CAB=CA+CBCACBC_{A\cup B}=C_A+C_B-C_A C_BCRA=CRA=CRCA=CR(1CA).C_{R-A}=C_{R\cap \overline{A}}=C_{R}C_{\overline{A}}=C_{R}(1-C_A).

b) Define A={x:f(x)=1}A=\{x:f(x)=1\}. Then, for xAx\in A, we have

f(x)=1=CA(x).f(x)=1=C_A(x).

Inversely, for xAx\notin A, we have

xA={x:f(x)=0},x\in \overline{A}=\{x:f(x)=0\},

so

f(x)=0=CA(x).f(x)=0=C_A(x).

Hence, AA is a set such that f=CAf=C_A.

c) In the forward direction ()(\Rightarrow), suppose f2=ff^2=f. Then, simple algebraic manipulations yield

f(x)2f(x)=0    f(x)(f(x)1)=0    f(x)=0f(x)=1.\begin{align*} f(x)^2-f(x)=0 &\implies f(x)(f(x)-1)=0 \\ &\implies f(x)=0 \lor f(x)=1. \end{align*}

Hence, explained in words, f(x)=0f(x)=0 or 11 for each xx. By what we proved in b), there is therefore a set AA such that f=CAf=C_A.

In the backward direction ()(\Leftarrow), suppose f=CAf=C_A. Then, the range of ff is {0,1}\{0,1\}. We also have that 02=00^2=0 and 12=11^2=1. Thus, f=f2f=f^2.

0
Submit a solution
Optional • Markdown

Sign in to share your solution for this question.

Sign in

Navigate

Q 3.9

Navigate

Q 3.9