V2EX › lance6716 的所有回复 › 第 3 页 / 共 57 页

V2EX = way to explore

V2EX 是一个关于分享和探索的地方

现在注册

已注册用户请登录

1 2 3 4 5 6 7 8 9 10 ... 57

❮

❯

2025 年 2 月 26 日

回复了 18bili 创建的主题 › 数据库 › TiDB 的 sql 查询为什么这么慢呀，是我打开的方式不对吗？

是 tidb cloud 还是自己虚拟机部署的？可以去 tidb dashboard 的慢查询面板看看

另外社区在 https://asktug.com/

2025 年 2 月 25 日

回复了 huzhikuizainali 创建的主题 › 数学 › 闭集的无穷并证明过程有逻辑断链吧？

人家要证的是“闭集的无穷不一定是闭集，有可能是开集”吧，你的推翻只是回到了一个平凡情况

2025 年 2 月 9 日

回复了 bfhyqy 创建的主题 › 推广 › T 楼抽奖免费送出（顺丰包邮）30 张全新待激活的英国 giffgaff 卡

试一试

2025 年 2 月 7 日

回复了 huzhikuizainali 创建的主题 › 数学 › 闭区间连续函数有界的证明过程中已经找到了矛盾的区间 U(c,η)，为什么后续还要找闭区间[am,bm]?

> U 是层层缩小的闭区间套筛选出来的“无界”区间，在 U(c,η)属于[a,b]，同时 U(c,η)既有界又无界已经足够到处矛盾了吧？

邻域 U 是从点 C 得到的，跟区间 ab 没有直接关系。截图中的取 m 是一种让它们建立联系的办法。先建立联系，才能发现矛盾

2025 年 2 月 7 日

回复了 huzhikuizainali 创建的主题 › 数学 › 闭区间连续函数有界的证明过程中已经找到了矛盾的区间 U(c,η)，为什么后续还要找闭区间[am,bm]?

个人感觉你对这里的疑惑，跟 https://www.v2ex.com/t/1103316?p=1#reply6 是一样的。你不理解的点就是截图的第一段，局部性质 vs 整体性质。截图中的证明用到了邻域连续和有界，是一个局部性质。要证的有界是整体性质。从整体到局部的过渡可以使用区间套。

2025 年 2 月 2 日

回复了 NewTab12138 创建的主题 › 推广 › [灵车]Infini 1 美金无月费年费 Master Card

能用作激活 wise 吗？

2025 年 1 月 19 日

回复了 craiiz 创建的主题 › 分享发现 › 难道 Steam 的账户密码是明文储存的？？

display name 不就是用户昵称吗…这跟密码根本不挨着

2025 年 1 月 8 日

回复了 huzhikuizainali 创建的主题 › 数学 › 闭区间连续函数有界的证明为什么都要用到数列？

“因为 x0 的任意性，所以 f 在[a,b]上有界”这里需要证明

2025 年 1 月 8 日

回复了 huzhikuizainali 创建的主题 › 数学 › 闭区间连续函数有界的证明为什么都要用到数列？

感觉一开始你表述成了“f(x)在…每一点都有界”，反应出了你觉得点和邻域是类似的。点可以通过函数连续在区间上平滑乱跑，但是邻域并不能直接就这么移动。而有界这个性质是定义在区间上不是定义在点上的。邻域要想“相加”、“连接”还是需要“紧”的特性

2025 年 1 月 8 日

回复了 huzhikuizainali 创建的主题 › 数学 › 闭区间连续函数有界的证明为什么都要用到数列？

邻域跟邻域“可以连到一起”从而随着邻域中心充满整个 a 到 b ，这个也是需要证明的。邻域是一个任意大小的集合，并不是两邻域直接能相加的概念

2025 年 1 月 7 日

回复了 huzhikuizainali 创建的主题 › 数学 › 闭区间连续函数有界的证明为什么都要用到数列？

不可以，因为你自己莫名其妙定义了个“函数在某个点上有界”。

2024 年 12 月 31 日

回复了 hekouwang123 创建的主题 › 宠物 › 养猫 4 年，堵不如疏

11 斤…我家的橘猫也才 11 斤

2024 年 12 月 21 日

回复了 georgex 创建的主题 › macOS › macOS 自带输入法中文下输入英文单词的奇怪问题

老 bug 的 https://www.v2ex.com/t/954800

我已经换成 rime 了

2024 年 11 月 20 日

回复了 rainABC 创建的主题 › 职场话题 › 关于劳动仲裁,目前裁决结果我赢了。

@fuge 我这个是一审

2024 年 11 月 19 日

回复了 rainABC 创建的主题 › 职场话题 › 关于劳动仲裁,目前裁决结果我赢了。

想起来我女朋友起诉都快半年了，还没有正式立案。坐标北京海淀

2024 年 11 月 7 日

回复了 capgrey 创建的主题 › Vim › 十分尴尬，被导师推荐去使用 JetBrains

go 应该也有 language server ？能接入的话啥开发环境都差不多吧

2024 年 10 月 30 日

回复了 djangovcps 创建的主题 › Python › 整了个达梦 sqlalchemy2.0 github 仓库，修复了一些 bug，大家有空一起来修达梦驱动 bug?

有功夫也可以来修一下 good first issue https://github.com/pingcap/tidb/labels/good%20first%20issue

2024 年 10 月 19 日

回复了 izzy27 创建的主题 › 分享发现 › 笑死，独立开发的产品被大厂员工抄了

你发个帖子，又不说是谁，这让我们很难办啊

1 2 3 4 5 6 7 8 9 10 ... 57

❮

❯