w**a
发帖数: 1024 | 1 prove the distance between 2 disjoint compact sets > 0. |
x******i
发帖数: 3022 | 2
if A and B are both compact,
then A*B is also compact
so d(x,y): A*B->R must achieve
its minimum --- which cannot be 0.
【在 w**a 的大作中提到】
: prove the distance between 2 disjoint compact sets > 0.
|
x*****d
发帖数: 427 | 3 nice proof, hehe
【在 x******i 的大作中提到】
:
: if A and B are both compact,
: then A*B is also compact
: so d(x,y): A*B->R must achieve
: its minimum --- which cannot be 0.
|
x******i
发帖数: 3022 | 4
过奖了。最近正在自学，为将来成为数学民科打基础。
【在 x*****d 的大作中提到】
: nice proof, hehe
|
x*****d
发帖数: 427 | 5 你的水平已经比很多数学专科高了,
我的物理水平现在还不及家忠啊......
【在 x******i 的大作中提到】
:
: 过奖了。最近正在自学，为将来成为数学民科打基础。
|
n******t
发帖数: 4406 | 6 确切的说是你的办证能力不如家忠。
【在 x*****d 的大作中提到】
: 你的水平已经比很多数学专科高了,
: 我的物理水平现在还不及家忠啊......
|
r****y
发帖数: 1437 | 7 你还自学？我以为你早就进入管理阶层，只要手下的自学，读paper，然后
向你汇报，你光提纲挈领，战略性部署一下就是了。
【在 x******i 的大作中提到】
:
: 过奖了。最近正在自学，为将来成为数学民科打基础。
|
x******i
发帖数: 3022 | 8
你现在是这样？？
【在 r****y 的大作中提到】
: 你还自学？我以为你早就进入管理阶层，只要手下的自学，读paper，然后
: 向你汇报，你光提纲挈领，战略性部署一下就是了。
|
x******i
发帖数: 3022 | 9
比专科高，但是要向本科冲击。
谦虚了，谦虚了。
【在 x*****d 的大作中提到】
: 你的水平已经比很多数学专科高了,
: 我的物理水平现在还不及家忠啊......
|
r****y
发帖数: 1437 | 10 我哪有你那么多劳动力啊，啥事基本上还是的自己动手。昨晚上调个程序
还调到12点多。我哭......
【在 x******i 的大作中提到】
:
: 比专科高，但是要向本科冲击。
: 谦虚了，谦虚了。
|
|
|
x******i
发帖数: 3022 | 11
刻苦啊。不过，就算手下有人，也未必就不用自己动手。。。
【在 r****y 的大作中提到】
: 我哪有你那么多劳动力啊，啥事基本上还是的自己动手。昨晚上调个程序
: 还调到12点多。我哭......
|
r****y
发帖数: 1437 | 12 我手下的人少，还不大顶事。郁闷ing...
【在 x******i 的大作中提到】
:
: 刻苦啊。不过，就算手下有人，也未必就不用自己动手。。。
|
B********e
发帖数: 10014 | 13 guess you are saying:
AuB is also compact, and the metric d:(AuB)×（AuB)->R ...
【在 x******i 的大作中提到】
:
: 刻苦啊。不过，就算手下有人，也未必就不用自己动手。。。
|
w**a
发帖数: 1024 | 14 hi, thank you for your answer.
d( , ) is defined on the compact set.
how to prove it must achieve minimum.
not every function defined on compact set can achieve minimum.
continuous function certainly has such nice property,
but it is just one special type.
thanks.
【在 x******i 的大作中提到】
:
: 刻苦啊。不过，就算手下有人，也未必就不用自己动手。。。
|
B********e
发帖数: 10014 | 15 you made the point!
you can show on a metric space the metric function is continuous.
【在 w**a 的大作中提到】
: hi, thank you for your answer.
: d( , ) is defined on the compact set.
: how to prove it must achieve minimum.
: not every function defined on compact set can achieve minimum.
: continuous function certainly has such nice property,
: but it is just one special type.
: thanks.
|
w**a
发帖数: 1024 | 16 space with discrete points?
【在 B********e 的大作中提到】
: you made the point!
: you can show on a metric space the metric function is continuous.
|
B********e
发帖数: 10014 | 17 yes, as long as it's a metric space
if you are a math person,you should know that as a mathematic concept 'conti
nuity ' is not in the same category as 'discrete'.
【在 w**a 的大作中提到】
: space with discrete points?
|
H****h
发帖数: 1037 | 18 Let f(x)=d(x_0,x). Then |f(x_1)-f(x_2)|\le d(x_1,x_2).
【在 w**a 的大作中提到】
: space with discrete points?
|
x******i
发帖数: 3022 | 19
d(.,.)是距离。根据度量空间的基本性质，d是X*X->R的连续函数，所以也是A*B->R的
连续函数。
d之所以是X*X的连续函数，可以由三角形不等式和连续函数的定义，以及乘积空间的定
义证明。
【在 w**a 的大作中提到】
: hi, thank you for your answer.
: d( , ) is defined on the compact set.
: how to prove it must achieve minimum.
: not every function defined on compact set can achieve minimum.
: continuous function certainly has such nice property,
: but it is just one special type.
: thanks.
|
B********e
发帖数: 10014 | 20
why？
actually if you define d:A*B->R,you implicitly change the topology,so what
do you mean 'd is continuous?'
if you don't change the space,actually you are talking about the original
metric function d:AUB*AUB->R
【在 x******i 的大作中提到】
:
: d(.,.)是距离。根据度量空间的基本性质，d是X*X->R的连续函数，所以也是A*B->R的
: 连续函数。
: d之所以是X*X的连续函数，可以由三角形不等式和连续函数的定义，以及乘积空间的定
: 义证明。
|
|
|
B********e
发帖数: 10014 | 21
why?
if you show the result by 'd can not be 0', actually you
are using what you want to prove. a circle.
so once again, you want to prove d:AUB*AUB->R is cts and
d achieve the minum.
then if d(x,y)=0 =>x=y. but x\in A and y \in B,disjoint,
so x <>y,hence d>0.
【在 x******i 的大作中提到】
:
: d(.,.)是距离。根据度量空间的基本性质，d是X*X->R的连续函数，所以也是A*B->R的
: 连续函数。
: d之所以是X*X的连续函数，可以由三角形不等式和连续函数的定义，以及乘积空间的定
: 义证明。
|
H****h
发帖数: 1037 | 22 人家是点到为止，又不是写详细证明。
【在 B********e 的大作中提到】
:
: why?
: if you show the result by 'd can not be 0', actually you
: are using what you want to prove. a circle.
: so once again, you want to prove d:AUB*AUB->R is cts and
: d achieve the minum.
: then if d(x,y)=0 =>x=y. but x\in A and y \in B,disjoint,
: so x <>y,hence d>0.
|
H****h
发帖数: 1037 | 23 乘积空间上自然定义的距离。
【在 w**a 的大作中提到】
: space with discrete points?
|
w**a
发帖数: 1024 | 24 got it.
【在 H****h 的大作中提到】
: 乘积空间上自然定义的距离。
|
x*****d
发帖数: 427 | 25 xixixixi 又没有说 A*B -> R 是一个距离...
这不过是个连续函数而已, 它是距离函数 d: X * X -> R
在子集 A*B 上的限制, 继承了 d 的连续性.
跟拓扑有什么关系?
【在 B********e 的大作中提到】
:
: why?
: if you show the result by 'd can not be 0', actually you
: are using what you want to prove. a circle.
: so once again, you want to prove d:AUB*AUB->R is cts and
: d achieve the minum.
: then if d(x,y)=0 =>x=y. but x\in A and y \in B,disjoint,
: so x <>y,hence d>0.
|
B********e
发帖数: 10014 | 26 hehe
1.如果它‘不过是个连续函数而已’，请证明：d>0
看看你是否回到循环上去
2。不要告诉我你不知道‘限制’就是‘应用于子空间拓扑’
xixi同学或许如health所说指点下大概，你的意思我就不太懂了
anyway,就当大家说得都是高手精华俺只是作些低级科普啦
【在 x*****d 的大作中提到】
: xixixixi 又没有说 A*B -> R 是一个距离...
: 这不过是个连续函数而已, 它是距离函数 d: X * X -> R
: 在子集 A*B 上的限制, 继承了 d 的连续性.
: 跟拓扑有什么关系?
|
H****h
发帖数: 1037 | 27 d>0是因为两个集合不交。
【在 B********e 的大作中提到】
: hehe
: 1.如果它‘不过是个连续函数而已’，请证明：d>0
: 看看你是否回到循环上去
: 2。不要告诉我你不知道‘限制’就是‘应用于子空间拓扑’
: xixi同学或许如health所说指点下大概，你的意思我就不太懂了
: anyway,就当大家说得都是高手精华俺只是作些低级科普啦
|
x*****d
发帖数: 427 | 28 一个连续函数在子空间的限制对子空间拓扑当然还是连续的,
有什么问题?
【在 B********e 的大作中提到】
: hehe
: 1.如果它‘不过是个连续函数而已’，请证明：d>0
: 看看你是否回到循环上去
: 2。不要告诉我你不知道‘限制’就是‘应用于子空间拓扑’
: xixi同学或许如health所说指点下大概，你的意思我就不太懂了
: anyway,就当大家说得都是高手精华俺只是作些低级科普啦
|
x******i
发帖数: 3022 | 29 作为一个民科，俺的citation已经够多了，不如自己
给封个顶吧。
这个题目的假设，肯定是A和B都是某度量空间X
里面的紧集。
因为A和B都是紧集，所以A*B也是X*X中的一个
紧集。所以，d(x,y)，作为一个X*X->R的连续函数，
必然在紧集A*B上取最大和最小值。
所谓取最小值，就是存在某d(x0,y0)，使得d(x0,y0)
的值等于inf{d(x,y): x \in A, y \in B}，后者即A和B
之间的距离。
到了这一步已经很显然，这个最小值d(x0,y0)肯定不能
是0，即A和B距离一定不是0。
这一点的证明很简单：如果d(x0,y0)=0，则x0=y0。
由于x0属于A，y0属于B，x0=y0可以推出A与B的
交集非空。
【在 B********e 的大作中提到】
: hehe
: 1.如果它‘不过是个连续函数而已’，请证明：d>0
: 看看你是否回到循环上去
: 2。不要告诉我你不知道‘限制’就是‘应用于子空间拓扑’
: xixi同学或许如health所说指点下大概，你的意思我就不太懂了
: anyway,就当大家说得都是高手精华俺只是作些低级科普啦
|
w**a
发帖数: 1024 | 30 我不是很懂，BLACKKNIFE的意思是不是这样的：
假设A,B是R1上的两个一维空间
各自都有自己的METRIC的定义
那么AXB就是二维空间，也就是函数d的domain。
如果讨论函数的连续性，我们就要分别有在DOMAIN上的METRIC和在值域RANGE上的
METRIC。
但是现在在这个二维空间上没有“距离的定义”。
【在 x*****d 的大作中提到】
: xixixixi 又没有说 A*B -> R 是一个距离...
: 这不过是个连续函数而已, 它是距离函数 d: X * X -> R
: 在子集 A*B 上的限制, 继承了 d 的连续性.
: 跟拓扑有什么关系?
|
|
|
x*****d
发帖数: 427 | 31 讨论连续性, 拓扑就够了
【在 w**a 的大作中提到】
: 我不是很懂，BLACKKNIFE的意思是不是这样的：
: 假设A,B是R1上的两个一维空间
: 各自都有自己的METRIC的定义
: 那么AXB就是二维空间，也就是函数d的domain。
: 如果讨论函数的连续性，我们就要分别有在DOMAIN上的METRIC和在值域RANGE上的
: METRIC。
: 但是现在在这个二维空间上没有“距离的定义”。
|
C********n
发帖数: 6682 | 32 不用定义距离也能谈连续
只不过有的书为了简化,把连续用距离定义了下来
【在 w**a 的大作中提到】
: 我不是很懂，BLACKKNIFE的意思是不是这样的：
: 假设A,B是R1上的两个一维空间
: 各自都有自己的METRIC的定义
: 那么AXB就是二维空间，也就是函数d的domain。
: 如果讨论函数的连续性，我们就要分别有在DOMAIN上的METRIC和在值域RANGE上的
: METRIC。
: 但是现在在这个二维空间上没有“距离的定义”。
|
B********e
发帖数: 10014 | 33 呵呵，你要这么说没人敢说你错了，含义太深刻
问题是：A*B上定义一个连续函数d，你就能证明只要A*B不交，则d>0?
【在 H****h 的大作中提到】
: d>0是因为两个集合不交。
|
B********e
发帖数: 10014 | 34 大哥，我们在说这个问题吗？
你先说‘关拓扑什么事？’，然后又跟我说‘子空间上的限制还连续有什么问题’。
叫我如何不怕你
【在 x*****d 的大作中提到】
: 一个连续函数在子空间的限制对子空间拓扑当然还是连续的,
: 有什么问题?
|
H****h
发帖数: 1037 | 35 不要反讽嘛。这个连续函数是 (x,y)|--> d(x,y)，即是x和y的距离。
它不是任意一个连续函数。A和B不交是题目的假设。
【在 B********e 的大作中提到】
: 呵呵，你要这么说没人敢说你错了，含义太深刻
: 问题是：A*B上定义一个连续函数d，你就能证明只要A*B不交，则d>0?
|
B********e
发帖数: 10014 | 36
啊呀你好，民科见民科，两眼泪汪汪啊，呵呵
俺这半个民科借您的封顶贴和您前边那位fans把嘴官司也封个顶
~~~~~~~这里的d是metric
~~~~~正如这里的d，距离。如果只是由连续性，得不到
后边的结论d>0.
【在 x******i 的大作中提到】
: 作为一个民科，俺的citation已经够多了，不如自己
: 给封个顶吧。
: 这个题目的假设，肯定是A和B都是某度量空间X
: 里面的紧集。
: 因为A和B都是紧集，所以A*B也是X*X中的一个
: 紧集。所以，d(x,y)，作为一个X*X->R的连续函数，
: 必然在紧集A*B上取最大和最小值。
: 所谓取最小值，就是存在某d(x0,y0)，使得d(x0,y0)
: 的值等于inf{d(x,y): x \in A, y \in B}，后者即A和B
: 之间的距离。
|
B********e
发帖数: 10014 | 37 呵呵，你说的是我表达的第一个意思。当然高手们可能只是不屑于表达的太清楚。；）
这不是主要的，因为R上通常用自然拓扑（距离metric）；而从X到直积X*X上拓展拓扑也
是自然的。
（我只是奇怪有人是懂得懒得说，有人却质问我跟拓扑有什么关系，所以才罗嗦。）
我的第二个意思是在直积上考虑的必须是度量函数，才有d(x,y)＝0＝>x=y。并不是任何
连续函数都可以推出d(x,y)>0.这点高手xixi也封顶注明了，免了不少争论。
【在 w**a 的大作中提到】
: 我不是很懂，BLACKKNIFE的意思是不是这样的：
: 假设A,B是R1上的两个一维空间
: 各自都有自己的METRIC的定义
: 那么AXB就是二维空间，也就是函数d的domain。
: 如果讨论函数的连续性，我们就要分别有在DOMAIN上的METRIC和在值域RANGE上的
: METRIC。
: 但是现在在这个二维空间上没有“距离的定义”。
|
H****h
发帖数: 1037 | 38 人家xixixixi是教授。
【在 B********e 的大作中提到】
: 呵呵，你说的是我表达的第一个意思。当然高手们可能只是不屑于表达的太清楚。；）
: 这不是主要的，因为R上通常用自然拓扑（距离metric）；而从X到直积X*X上拓展拓扑也
: 是自然的。
: （我只是奇怪有人是懂得懒得说，有人却质问我跟拓扑有什么关系，所以才罗嗦。）
: 我的第二个意思是在直积上考虑的必须是度量函数，才有d(x,y)＝0＝>x=y。并不是任何
: 连续函数都可以推出d(x,y)>0.这点高手xixi也封顶注明了，免了不少争论。
|
B********e
发帖数: 10014 | 39 ‘拓扑’怎么‘就够了'?呵呵
【在 x*****d 的大作中提到】
: 讨论连续性, 拓扑就够了
|
B********e
发帖数: 10014 | 40 sorry,你先前要这么说我就没话说了；）
【在 H****h 的大作中提到】
: 不要反讽嘛。这个连续函数是 (x,y)|--> d(x,y)，即是x和y的距离。
: 它不是任意一个连续函数。A和B不交是题目的假设。
|
|
|
H****h
发帖数: 1037 | 41 有些东西是约定俗成的。比如两个拓扑空间的乘积空间上的拓扑。
又比如d(x,y)这个符号不特殊说明一般表示距离。何况这里讨论的就是距离。
稍有歧义的地方是两个距离空间的乘积空间上的距离。
可能有不同的距离定义。比如以下几种：
d((x_1,y_1),(x_2,y_2))=d(x_1,x_2)+d(y_1,y_2)
d((x_1,y_1),(x_2,y_2))=max{d(x_1,x_2),d(y_1,y_2)}
d((x_1,y_1),(x_2,y_2))=(d(x_1,x_2)^2+d(y_1,y_2)^2)^{1/2}
但是它们生成相同的拓扑，而且等同于两个距离空间生成的拓扑空间的乘积拓扑。
而连续性其实只依赖于其所生成的拓扑的性质。所以随便哪个距离都可以用。
扑也
任何
【在 B********e 的大作中提到】
: 呵呵，你说的是我表达的第一个意思。当然高手们可能只是不屑于表达的太清楚。；）
: 这不是主要的，因为R上通常用自然拓扑（距离metric）；而从X到直积X*X上拓展拓扑也
: 是自然的。
: （我只是奇怪有人是懂得懒得说，有人却质问我跟拓扑有什么关系，所以才罗嗦。）
: 我的第二个意思是在直积上考虑的必须是度量函数，才有d(x,y)＝0＝>x=y。并不是任何
: 连续函数都可以推出d(x,y)>0.这点高手xixi也封顶注明了，免了不少争论。
|
B********e
发帖数: 10014 | 42 别这么说，搞得好像前边跟我争论的人不是看在问题的份上而是看在教授的份上跟我争
的一样，呵呵
【在 H****h 的大作中提到】
: 人家xixixixi是教授。
|
n******t
发帖数: 4406 | 43 TA, AP, 还是啥？
这年头教授比较可疑。
【在 H****h 的大作中提到】
: 人家xixixixi是教授。
|
B********e
发帖数: 10014 | 44 为了不误导入门的人，再给高手当一回翻译（sorry,俺善于把简单问题复杂化）
不是‘为了简化搞个距离就定义下了连续’，而是在度量空间中可以用距离定义开集，
而开集定义了拓扑。
【在 C********n 的大作中提到】
: 不用定义距离也能谈连续
: 只不过有的书为了简化,把连续用距离定义了下来
|
B********e
发帖数: 10014 | 45 ok,got you
so basically you are saying 'professor xixixixi skip the parts that everybod
y take it natural'
and i was saying 'do you mean this...and that...?'
in some sense we agree with each other. so let stop here.
cu
【在 H****h 的大作中提到】
: 有些东西是约定俗成的。比如两个拓扑空间的乘积空间上的拓扑。
: 又比如d(x,y)这个符号不特殊说明一般表示距离。何况这里讨论的就是距离。
: 稍有歧义的地方是两个距离空间的乘积空间上的距离。
: 可能有不同的距离定义。比如以下几种：
: d((x_1,y_1),(x_2,y_2))=d(x_1,x_2)+d(y_1,y_2)
: d((x_1,y_1),(x_2,y_2))=max{d(x_1,x_2),d(y_1,y_2)}
: d((x_1,y_1),(x_2,y_2))=(d(x_1,x_2)^2+d(y_1,y_2)^2)^{1/2}
: 但是它们生成相同的拓扑，而且等同于两个距离空间生成的拓扑空间的乘积拓扑。
: 而连续性其实只依赖于其所生成的拓扑的性质。所以随便哪个距离都可以用。
:
|
n******t
发帖数: 4406 | 46 这个题似乎没必要扯到拓扑连续函数，还有tychnoff那里去把。
直接用距离空间里面 comapct定义就完事了。
比如说如果距离为0，那就一定有个点列x_n from A, y_n from B,
s.t d(x_n,y_n)<1/n for all n. 因为x_n一定有格收敛子列，
那那个对应的在(y_n)中的子列肯定页是收敛的而且得收敛到一个地方，
这样就有交集了。
【在 x*****d 的大作中提到】
: 一个连续函数在子空间的限制对子空间拓扑当然还是连续的,
: 有什么问题?
|
B********e
发帖数: 10014 | 47 hehe,actually i prefer this proof
【在 n******t 的大作中提到】
: 这个题似乎没必要扯到拓扑连续函数，还有tychnoff那里去把。
: 直接用距离空间里面 comapct定义就完事了。
: 比如说如果距离为0，那就一定有个点列x_n from A, y_n from B,
: s.t d(x_n,y_n)<1/n for all n. 因为x_n一定有格收敛子列，
: 那那个对应的在(y_n)中的子列肯定页是收敛的而且得收敛到一个地方，
: 这样就有交集了。
|
x*****d
发帖数: 427 | 48 本来要对你进行人身攻击的, 看到这里觉得你倒还明白.
就是追着说大家循环论证有点不靠谱
【在 B********e 的大作中提到】
: sorry,你先前要这么说我就没话说了；）
|
x*****d
发帖数: 427 | 49 很难说这两个证明哪个更底层.
紧 <=> 列紧 这个等价性的证明难度要超过
紧致空间的乘积紧致+连续函数保持紧致性.
【在 n******t 的大作中提到】
: 这个题似乎没必要扯到拓扑连续函数，还有tychnoff那里去把。
: 直接用距离空间里面 comapct定义就完事了。
: 比如说如果距离为0，那就一定有个点列x_n from A, y_n from B,
: s.t d(x_n,y_n)<1/n for all n. 因为x_n一定有格收敛子列，
: 那那个对应的在(y_n)中的子列肯定页是收敛的而且得收敛到一个地方，
: 这样就有交集了。
|
x******i
发帖数: 3022 | 50
我属于混进教授队伍的民科。
【在 H****h 的大作中提到】
: 人家xixixixi是教授。
|
|
|
B********e
发帖数: 10014 | 51 敢情是倘若我不明白便会遭到您的人身攻击，好后怕
还‘大家’的干活，呵呵，真能扯大旗
【在 x*****d 的大作中提到】
: 本来要对你进行人身攻击的, 看到这里觉得你倒还明白.
: 就是追着说大家循环论证有点不靠谱
|
x*****d
发帖数: 427 | 52 不明白不要紧, 谦虚就行
【在 B********e 的大作中提到】
: 敢情是倘若我不明白便会遭到您的人身攻击，好后怕
: 还‘大家’的干活，呵呵，真能扯大旗
|
B********e
发帖数: 10014 | 53 呵呵，今天您谦虚了几下了？
【在 x*****d 的大作中提到】
: 不明白不要紧, 谦虚就行
|
B********e
发帖数: 10014 | 54 谦虚的问一下：这个难度系数是怎么得到的？
【在 x*****d 的大作中提到】
: 很难说这两个证明哪个更底层.
: 紧 <=> 列紧 这个等价性的证明难度要超过
: 紧致空间的乘积紧致+连续函数保持紧致性.
|
n******t
发帖数: 4406 | 55 底层不底层是个见仁见智的东西。
我的意思是说这个东西上升到拓扑和成绩空间稍嫌overkill。
至于难度，我感觉是数学证明用的工具越抽象，证明难度越小。
(但是就这道题，也没占到便宜)
【在 x*****d 的大作中提到】
: 很难说这两个证明哪个更底层.
: 紧 <=> 列紧 这个等价性的证明难度要超过
: 紧致空间的乘积紧致+连续函数保持紧致性.
|
x*****d
发帖数: 427 | 56 关键是 xixixixi 的证明对是不对, 如果对,
就是你胡搅蛮缠, 如果不对, 当然是我太过分
【在 B********e 的大作中提到】
: 呵呵，今天您谦虚了几下了？
|
B********e
发帖数: 10014 | 57 呵呵，人家xixixi指点了个方向，俺问一下细节就成了胡搅蛮缠
俺问细节，人家还没回话，‘你们两个人组成的大家’高度自觉的解释一通，我再质疑
一下，就成了‘不谦虚’，还‘险些’遭到您的人身攻击
您太幽默了吧
【在 x*****d 的大作中提到】
: 关键是 xixixixi 的证明对是不对, 如果对,
: 就是你胡搅蛮缠, 如果不对, 当然是我太过分
|
x*****d
发帖数: 427 | 58 我承认我是抬杠了, 我看见这个题第一时间想到的
是你这个证明. 只不过有人认为开始那个证明不对,
我才有点反应过激
【在 n******t 的大作中提到】
: 底层不底层是个见仁见智的东西。
: 我的意思是说这个东西上升到拓扑和成绩空间稍嫌overkill。
: 至于难度，我感觉是数学证明用的工具越抽象，证明难度越小。
: (但是就这道题，也没占到便宜)
|
x*****d
发帖数: 427 | 59 你那是问细节? 上来就断言是循环, xixi 自己, health 和我
三个人轮番解释, 你根本就不听, 继续冷嘲热讽. 你倒是说说
哪里循环论证了?
【在 B********e 的大作中提到】
: 呵呵，人家xixixi指点了个方向，俺问一下细节就成了胡搅蛮缠
: 俺问细节，人家还没回话，‘你们两个人组成的大家’高度自觉的解释一通，我再质疑
: 一下，就成了‘不谦虚’，还‘险些’遭到您的人身攻击
: 您太幽默了吧
|
B********e
发帖数: 10014 | 60 再谦虚的问一下：谁‘认为开始那个证明不对了’？
【在 x*****d 的大作中提到】
: 我承认我是抬杠了, 我看见这个题第一时间想到的
: 是你这个证明. 只不过有人认为开始那个证明不对,
: 我才有点反应过激
|
|
|
x*****d
发帖数: 427 | 61 你的原话:
"why?
if you show the result by 'd can not be 0', actually you
are using what you want to prove. a circle. "
【在 B********e 的大作中提到】
: 再谦虚的问一下：谁‘认为开始那个证明不对了’？
|
B********e
发帖数: 10014 | 62 发现你搅浑水吵架的热情大于讨论问题的能力
‘轮番解释’‘就是不听’‘冷嘲热讽’
嘿嘿，我要去民科所研究永动机，不陪你抢鸡蛋了
【在 x*****d 的大作中提到】
: 你那是问细节? 上来就断言是循环, xixi 自己, health 和我
: 三个人轮番解释, 你根本就不听, 继续冷嘲热讽. 你倒是说说
: 哪里循环论证了?
|
x*****d
发帖数: 427 | 63 太可笑了, 我一直就在讨论问题, 明显是你在搅浑水.
把你那几个帖子收集在一起自己看看, 是不是冷嘲热讽还
不够明显吗?
至于你认为的循环, 根本就不存在, 要证明的是
d(A,B)=0, xixi 用的是 d(x,y)=0, for x in A, y in B.
一直没有指出来是怕你不好意思, 这么简单的逻辑
都转不过来
【在 B********e 的大作中提到】
: 发现你搅浑水吵架的热情大于讨论问题的能力
: ‘轮番解释’‘就是不听’‘冷嘲热讽’
: 嘿嘿，我要去民科所研究永动机，不陪你抢鸡蛋了
|
n******t
发帖数: 4406 | 64 呵呵，别吵了，做个题别弄成吵架会了。
【在 x*****d 的大作中提到】
: 我承认我是抬杠了, 我看见这个题第一时间想到的
: 是你这个证明. 只不过有人认为开始那个证明不对,
: 我才有点反应过激
|
B********e
发帖数: 10014 | 65 其实，我是数学版的托儿，搞热闹吵作人气的。
sorry，在娱乐界混久了染上的不良习气，呵呵
问下你们是在德国旅游还是就在那片圣地上学习啊？
【在 n******t 的大作中提到】
: 呵呵，别吵了，做个题别弄成吵架会了。
|
n******t
发帖数: 4406 | 66 他在美国把。
我学习兼旅游来着。
【在 B********e 的大作中提到】
: 其实，我是数学版的托儿，搞热闹吵作人气的。
: sorry，在娱乐界混久了染上的不良习气，呵呵
: 问下你们是在德国旅游还是就在那片圣地上学习啊？
|
r**********n
发帖数: 4 | 67 你就是这么灌出3k多贴的的么~~lol
【在 x*****d 的大作中提到】
: 太可笑了, 我一直就在讨论问题, 明显是你在搅浑水.
: 把你那几个帖子收集在一起自己看看, 是不是冷嘲热讽还
: 不够明显吗?
: 至于你认为的循环, 根本就不存在, 要证明的是
: d(A,B)=0, xixi 用的是 d(x,y)=0, for x in A, y in B.
: 一直没有指出来是怕你不好意思, 这么简单的逻辑
: 都转不过来
|
x*****d
发帖数: 427 | 68 呵呵, 见笑见笑
【在 r**********n 的大作中提到】
: 你就是这么灌出3k多贴的的么~~lol
|
