取 X=(0, 1]，E=(0,1)，则 E 在 X 上是闭集。E 在 X 中不紧致，取 p=1 in X, not in E ，则 inf{d(p, q)|q in E}=0,取 q->1-。

Arch ，如果更新太频繁可以考虑 opensuse Tumbleweed slowroll

我意思是那些处理不了的 c_i

不是老哥……敢情你的未知量都没在系数上？....

@jworg
$ balooctl6 disable
$ balooctl6 purge
$ balooctl6 enable
$ balooctl6 check
万恶的 baloo

这里的等于关系就是他的证明，意思是如果 x in [0, 2) 则总有一个 An 包含 x ；反之如果 x in 无穷并 An ，则 x 除了 2 谁都能取到，所以 x in [0, 2)于是无穷并 An=[0,2)。

严格小于当然能丝滑地推出小于等于，但反过来不行于是二者不等价。你要不还是先看看分析的基础或者是 sets and logic ，A<B -> A<=B, 但反过来不行。但 A=B->B=A ，或者说 A in B and B in A -> A=B 。所以无穷 An 的并=[0, 2) in [0, 2]，所以无穷 An 的并当然 in [0, 2]，但无穷 An 的并等于[0, 2)，搞清楚等于号的用法再来推翻结论。我都不能理解这个例子的逻辑哪里能让人产生疑问：1.构造 An=[0, 2-1/n]，2. 2 not in any An ，3. 于是无穷并 An 可以取[0, 2)里所有的数字但无法取 2 ，于是闭集无穷并可以是一个开集。你非要加上一个因为 in [0, 2)我可以说 in [0, 2]所以就推翻了？

“而 U(c,η)又是包含在不断缩小的闭区间套[an,bn]中”，这句话不对。没有任何地方说了这个结论，这个是你自己理解错了。
开区间不行是因为闭区间套定理，简单说就是[an,bn]当 an,bn 同极限的时候，这个闭区间套最后就是这个极限。形象理解一下的话就是开区间不行，比如 (0,1/2^n)，这个东西到最后是空集。[0,1/2^n]最后是 0 。带到证明过程里就是开区间没有那个 c 了。

买个 vps 自己做转发,或者本地代理，买靠谱的机场

我用的 macmini 没在手边……我看到这么个解决方案，搞 x86 的 brew ，然后那个 brew 安装 gcc 啥的？ https://stackoverflow.com/questions/64882584/how-to-run-the-homebrew-installer-under-rosetta-2-on-m1-macbook

arch -x86_64 zsh 环境下用 anaconda x86 那个环境呢？

广义柯西施瓦兹不等式是在任意内积空间，|u||v|>=|<u v>|，即范数乘积大于等于内积的绝对值。

Mathematica

唉……忘了 simplify 这个神器，将就一下吧。
<img src="https://img2.imgtp.com/2024/04/21/M6lLPDZ7.png" alt="111" title="111" />

抱歉上一个我也少打了平方

公式 1 错了，s^2 sigma_1^2 + (1-s)^2 sigma_2^2...

证明，懒得手推了

1. 熊猫精酿，panda brew （不是杰克熊猫）蜂蜜口味的非常好。

2. 青岛奥古特

好像到目前为止，基本粒子模型都是确定性的。这个结论是目前最广为接受的。

这个要看直线方程的写法，比如直线可以定义为(x-x0)/a = (y-y0)/b = (z-z0)/c ，或者参数方程 r = r0 + t * d 的形式，其中 r0=(x0, y0, z0) 是固定点，也是两个平面的交点，d 是直线的方向向量，t 为任意实数。程序看着好像没问题，利用了第二种表达方法：因为 d 和两个平面的法向量都垂直，所以 d = n1 x n2 ，也就是 direction = (b1* c2,...)，x0, y0, z0 是同时满足两个平面方程的的点，有无穷多个，只要解出来任意一个就行，也就是从欠定方程 a1 x + b1 y + c1 z + d1 = 0 和 a2 x + b2 y + c2 z + d2 = 0 里猜一个解就行，例如令 z = 0 ，解 x0, y0 。但是这里有一些特殊情况，就是直线有可能和 xy 面平行，也就是有可能不过 z=0 的点，这种情况也就是 c1 = c2 = 0 的情况，求出 z ，得到一组特解。也就是函数返回的 direction 和 （ x,y,z ）。