女の人のところへ来たドラえもん

２１歳の女の人と４３歳の男の人が意気投合し、社会の矛盾に科学的に挑戦していく過程です。　　　　　　　　　　　　　　　　　　　　ブログの先頭に戻るには、表題のロゴをクリックして下さい。　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　数式の変形。必ずひと言、添えてよ。それを守ってくれたら、今後も数学に付き合ってあげる。

トップ > 数学基礎概説のエラータ（その３２）

数学基礎概説のエラータ（その３２）

　現在２０２３年７月１１日１４時５９分である。（この投稿は、ほぼ４０７２文字）

　なんとか、大幅に進めよう。

　『数学基礎概説』

数学基礎概説 (共立数学講座)

数学基礎概説 (共立数学講座)

Amazon

の誤植と思われるもの。



　第９章


　２０８ページ

　２行目

◯　{\mathbf{W}(\varphi)=T}　Wをボールド体に

✕　{W(\varphi)=T}


　８行目

◯　{p_i^{'}(\varphi(a_1,\cdots}

✕　{p_i^{'}(\varphi(a_1\cdots}　最後のカンマがない。


　下から７行目

◯　単射

✕　単写


　下から2行目

◯　{a_1 \cdots a_{r_i} \in S}

✕　{a_1 \cdots a_{{}_ir} \in S}　最後の{i} は、2重の添え字。



　２０９ページ

　１２行目

◯　{\mathfrak{S}}を{\mathfrak{T}}の中へ

✕　{\mathfrak{S}}と{\mathfrak{T}}の中へ


　１３行目

◯　{\mathfrak{T}}の部分代数系である

✕　{\mathfrak{T}}の部分系である


　１４行目

◯　関係{P_i}　小文字でなく大文字

✕　関係{p_i}



　下から7行目

◯　{(u \in \omega \wedge v \in \omega \wedge}

✕　{(u \in \omega \wedge v \in \omega}



　２１０ページ


　１行目

◯　{F_{\dotplus}}

✕　{F \dotplus}　ドットプラスが、やや大きい。



　５行目

◯　{\wedge \forall m \forall n (m \in \omega \wedge ・・・}

✕　{\wedge ( \forall m \forall n (m \in \omega \wedge ・・・}　カッコが１つ多い。



　２１１ページ


　誤植無し


　２１２ページ


　１行目

◯　{\langle a,b \rangle , \langle a’,b’ \rangle}

✕　{\langle a,b \rangle , \langle a,b’ \rangle}　ダッシュが必要。


　２行目

◯　{a \times b’= a’ \times b.}　文末にピリオド。

✕　{a \times b’= a’ \times b}


　下から１０行目

◯　{\mathbb{Q}}

✕　{\mathbf{Q}}　有理数体の本来のフォントでない。（これは、あまり拘らなくて良い）


　２１３ページ

　３行目

◯　中に移してうる，関係および

✕　中に移してうる．関係および　　ピリオドでなく、カンマ


　５行目

◯　{\mathbb{Q}}

✕　{\mathbf{Q}}　２つあるうちの、前のひとつが、有理数体の本来のフォントでない。（これは、あまり拘らなくて良い）


　６行目

◯　{(b \times a’).}　文末にピリオド。

✕　{(b \times a’)}


　１６行目

◯　除算{\div}　まるは、いらない。　

✕　除算{\stackrel{\circ}{\div}}



　２１４ページ

　誤植無し



　２１５ページ


　９行目

◯　{a \times c < b \times c.}　文末にピリオド。　

✕　{a \times c < b \times c}


　下から８行目

◯　{\sup_A(B) [=\min_A(ub_A(B)) ]}　supを定義していると、思って欲しいので、こう書いたほうが、良いのでは？　私が、絶対正しいとは、言わない。

✕　{\sup_A(B) =[\min_A(ub_A(B)) ]}



　下から３行目と、下から１行目の、小さい有理数体{\mathbb{Q}}のフォント

◯　{\mathbb{Q}}　この本での共通の{\mathbb{Q}}のフォントにすべき

✕　{\mathbf{Q}}



　２１６ページ


　１２行目

◯　直前の性質 ＊２）により　　　　　＊１）は、用いていない。

✕　直前の性質 ＊１），＊２）により



　下から１３行目

◯　{ub_{\mathbb{Q}}}

✕　{ub_{\mathbf{Q}}}　これまで同様、有理数体のフォントが、一定しない。


　下から６行目

◯　{n_0^2=2 \times n_1^2,~n_0 ,~ n_1 > 0}

✕　{n_0^2=2 \times n_1^2 ~~n_0 , n_1 > 0}　カンマが、必要。


　下から１行目

◯　矛盾をもたらす

✕　矛盾をもたす



　２１７ページ


　１１行目

◯　{ub_{\mathbb{Q}}}

✕　{ub_{\mathbf{Q}}}　これまで同様、有理数体のフォントが、一定しない。あまり気にしなくても良いが。



　１２行目

◯　{\displaystyle \frac{4}{3}（\in \mathbb{Q} )}

✕　{\displaystyle \frac{4}{3}（\ni \mathbb{Q} )}


　
　１５行目

◯　{\sup_{\mathbb{Q}}}

✕　{\sup_{\mathbf{Q}}}　これまで同様、有理数体のフォントが、一定しない。あまり気にしなくても良いが。



　１６行目と１７行目

{a_k} ・・・・・・・・・・{\displaystyle \biggl(a_k+\frac{1}{2^{k+1}} \biggr)^2 > 2}

{\displaystyle a_k+\frac{1}{2^{k+1}}} ・・・・・・{\displaystyle \biggl(a_k+\frac{1}{2^{k+1}} \biggr)^2 \leqq 2}


肩の指数２が、どちらも落ちている。２２１ページを、参照せよ。



　２１８ページ


　１６行目

◯　ことが示されるので，以上・・・

✕　　ことが示されるので、以上・・・段落が改まっているのではないので、行頭を字下げする必要はない。


　下から４行目

◯　としては，上限をもたない集合

✕　としては，前項上限をもたない集合　　　前項ではない


　同じく下から４行目

◯　{b \in \mathbb{Q}}

✕　{b \in \mathbf{Q}}　これまで同様、有理数体のフォントが、一定しない。あまり気にしなくても良いが。



　２１９ページ


　１行目

◯　{(L,<)}　１３４ページでの順序の定義では、丸括弧だった。

✕　{\langle L,< \rangle}


　１２行目

◯　{\sup_{\mathbb{Q}}(\mathrm{S})}

✕　{\sup_{\mathit{Q}}(\mathbf{S})}　有理数体は、他のところと同じもの、Sは、同じ行の同じ意味のSと、同じフォントにすべき。


　１７行目

◯　集合{\mathbb{R}}は直観的には　　実数体のフォントを有理数体と同様に、揃えるべき。

✕　集合Rは直観的には



　２２０ページ


　５行目

◯　ての{\mathbb{Q}}の１つの　　　　有理数体のフォント

✕　てのQの１つの


　下から４行目

◯　{\forall_x(x \in A \Rightarrow \forall_y ( (y \in \mathbb{Q} \wedge x \leqq y) \Rightarrow y \in A) )}

✕　{\forall_x(x \in A \Rightarrow \forall_y (y \in \mathbb{Q} \wedge x \leqq y \Rightarrow y \in A) )}　　（　と　）　が、足りない。



　下から１行目

◯　{\forall_x \forall_y( (x \in A \wedge y \in \mathbb{Q}-A) \Rightarrow y < x)}

✕　{\forall_x \forall_y (x \in A \wedge y \in \mathbb{Q}-A) \Rightarrow y < x)}　　（　が、足りない。



　以上。今回ここまで本文１３ページ進んで、今日は終了。


　後は、本文４８ページである。今月中に、終えるつもりである。

　現在２０２３年７月１１日２２時３３分である。おしまい。