Re: [分析] 證明的用語

[yyc2008 ()]

※ 引述《limit (魁北克很美)》之銘言：
: 好像是針對上一篇回文的  在下負責到底 :P

 :D 感謝回答^^

: 第二問
: necessariliy 修飾的子句是被 implied 的條件, 換言之, 必要條件
: 例如 ... Since f is differentiable on (0,1),
:                necessarily, it is continuous on (0,1)
: 我看不太懂你的敘述  麻煩實例化好嗎?

因為發文的時候一時找不到
這個問題心中積了很久

Linear transformation, T, whose domain are finite-dimensional, are necessarily

compact.

所以這時候necessarily是單純作文中therefore的同義字

還是說T的domain是有限維度是充分條件

T是compact是必要條件?

謝謝回答

: ※ 引述《yyc2008 ()》之銘言：
: : 我自修的時候
: : 時常會遇到一些問題
: : 第一個問題  for some, for each/any, for all
: : 各代表什麼意思?
: : 之間有什麼不同?
: : (for some對於一些 但是對於全部也可以講一些阿
: : for each/any對於每一個  難道不是指全部嗎?)
: : 第二個問題  A敘述 necessarily + 動詞 + B敘述
: : 請問到底是A是B的necessary condition?
: : 還是B是A的necessary condition?
: : 感謝回答

--
※ 發信站: 批踢踢實業坊(ptt.cc) 
◆ From: 140.109.103.151
推 limit       :這裡的 are necessarily 義同於  must be
→ limit       :necessarily 修飾 are compact
→ limit       :whose domain are fin-dim 修飾主詞 T
→ yyc2008     :所以這裡的necessarily就只是文章用詞 非充分必要
→ yyc2008     :感謝回答
→ limit       ::)