Exercise 7.72

Exercise 7.72#

Let \(𝑆\) be the sheaf of people as in Section 7.4.3, and let \(𝑗: \Omega β†’ \Omega\) be β€œassuming Bob is in San Diego …”

  1. Name any predicate \(𝑝: 𝑆 β†’ \Omega\), such as β€œlikes the weather.”

  2. Choose a time interval \(π‘ˆ\). For an arbitrary person \(𝑠 ∈ 𝑆(π‘ˆ)\), what sort of thing is \(𝑝(𝑠)\), and what does it mean?

  3. What sort of thing is \(𝑗(𝑝(𝑠))\) and what does it mean?

  4. Is it true that \(𝑝(𝑠) ≀ 𝑗(𝑝(𝑠))\)? Explain briefly.

  5. Is it true that \(𝑗(𝑗(𝑝(𝑠))) = 𝑗(𝑝(𝑠))\)? Explain briefly.

  6. Choose another predicate \(π‘ž: 𝑆 β†’ \Omega\). Is it true that \(𝑗(𝑝 ∧ π‘ž) = 𝑗(𝑝) ∧ 𝑗(π‘ž)\)? Explain briefly.

Alternative answer#

  1. Let’s use β€œlikes the weather” as suggested.

  2. We’ll let \(s\) equal Bob to make this all simpler, although we could write it all for an arbitrary person. So \(p(s)\) is a particular subset of times Bob likes the weather.

  3. We translate this predicate to β€œBob likes the weather or he is not in San Diego” using the β€œor not” translation discussed elsewhere. We expect this sheaf to return a subset of times, and this predicate should be able to return a subset of times.

  4. Or more precisely \(𝑝(𝑠) ≀_S 𝑗(𝑝(𝑠))\). While \(p(s)\) is a particular set of times not qualified by anything, \(j(p(s))\) is qualified by the requirement that Bob not be in San Diego. Most precisely, the subset of times that β€œBob likes the weather” given by \(p(s)\) should be a subset of the times that it’s true that β€œBob likes the weather or he is not in San Diego”.

  5. Yes; adding an additional qualifier of β€œBob is in San Diego” should make no difference because we’ve already qualified the statement on that proposition. If Bob was not in San Diego, he’s still not in San Diego.

  6. Let’s assign \(q\) to β€œβ€¦ is wearing red”. Then β€œBob both likes the weather and is wearing red, and is not in San Diego” should be equivalent to β€œBob likes the weather and is not in San Diego, and Bob is wearing red and is not in San Diego”.

Author’s solution#

  1. Take 𝑝(𝑠) to be β€œπ‘  likes the weather.”

  2. Let π‘ˆ be the interval 2019/01/01 – 2019/02/01. For an arbitrary person \(𝑠 ∈ 𝑆(π‘ˆ)\), \(𝑝(𝑠)\) is a subset of \(π‘ˆ\), and it means the subset of \(π‘ˆ\) throughout which \(𝑠\) likes the weather.

  3. Similarly \(𝑗(𝑝(𝑠))\) is a subset of \(π‘ˆ\), and it means the subset of \(π‘ˆ\) throughout which, assuming Bob is in San Diego, \(𝑠\) liked the weather. In other words, \(𝑗(𝑝(𝑠))\) is true whenever Bob is not in San Diego, and it is true whenever \(𝑠\) likes the weather.

  4. It is true that \(𝑝(𝑠) ≀ 𝑗(𝑝(𝑠))\), by the β€˜in other words’ above.

  5. It is true that \(𝑗(𝑗(𝑝(𝑠)) = 𝑗(𝑝(𝑠)\), because suppose given a time during which β€œif Bob is in San Diego then if Bob is in San Diego then 𝑠 likes the weather.” Then if Bob is in San Diego during this time then 𝑠 likes the weather. But that is exactly what 𝑗(𝑝(𝑠)) means.

  6. Take π‘ž(𝑠) to be β€œπ‘  is happy.” Suppose β€œif Bob is in San Diego then both 𝑠 likes the weather and 𝑠 is happy.” Then both β€œif Bob is in San Diego then 𝑠 likes the weather” and β€œif Bob is in San Diego then 𝑠 is happy” are true too. The converse is equally clear.