Exercise 0.4.4

Question a Make up a nonmathematical function that is one to one but not onto. b Make up a mathematical function that is one to one but not onto. Answer a “The student number of” from Keio University students to integers. b \(f(x) = 2^x\)

April 4, 2023 · 1 min · B.Kaoru

Exercise 0.3.1

Question \(E\) を\(A \subset E\) and \(B \subset E\)を満たす集合とし、 演算子\(\ast \) を以下で定義する。 \[ A \ast B = (E - A) \cap (E-B) \] このとき、 以下の a,b,c を、 \(A, B\), and \(\ast\)を用いて表せ。 a \(A \cup B\) b \(A \cap B\) c \(E - A\) Answer a \begin{align*} A \cup B &= E - ( \bar{A} \cap \bar{B} ) \\ &= E - \left\{ ( E - A) \cap (E-B) \right\} \\ &= E - A \ast B \\ &= (E - A \ast B) \cap (E - A \ast B) \\ &= (A \ast B) \ast (A \ast B) \end{align*}...

March 17, 2023 · 1 min · B.Kaoru

3 つの数の相加相乗平均の不等式の証明

はい、こんにちは。 今日は、3 つの正の数の相加相乗平均の不等式の証明をしていきます。 2 つの数の相加相乗平均の不等式の証明は、できているものとします。 ではやっていきましょう。 \(G = \sqrt[3]{xyz}\)、\(A = \frac{x+y+z}{3}\)とする。 \(G \leq A\)を示す。 1. \(x = y = z\) の場合 \begin{align*} G &= \sqrt[3]{xyz} = \sqrt[3]{x^3} = x \\ A &= \frac{x+y+z}{3} = \frac{3x}{3} = x \\ \therefore G &= A \end{align*} 2. \(x = y = z\) が成り立たない場合 一般性を失わず、 \begin{equation} \label{eq:1} z < A < y \end{equation} とできる。 2 つの正の数\(x\)と\(y+z-A\)について、すでに証明済みの 2 数の相加相乗平均を考える。 相乗平均(geometric mean) を\(g\)、 相加平均(arithmetical mean) を\(a\)とすると、...

March 6, 2023 · 1 min · B.Kaoru

Exercise 0.2.2

Question Explain Why one of these statements is true and the other is false: \begin{align*} (\forall \text{ man } M)(\exists \text{ woman } W) \mid W \text{ is the mother of } M \\ (\exists \text{ woman } W)(\forall \text{ man } M) \mid W \text{ is the mother of } M \end{align*} Answer The first statement is true, and the second is false because every man has a mother but there doesn’t exist a woman who is the mother of all men....

March 5, 2023 · 1 min · B.Kaoru