V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
V2EX  ›  Rang666  ›  全部回复第 1 页 / 共 7 页
回复总数  121
1  2  3  4  5  6  7  
@huzhikuizainali U 是根据上面推出来存在这么一个区间是有界的,但是 U 在 ab 里面,假设是 an bn ,你不能保证[an bn]/U 是有界的,就还没达成矛盾,但是如果有这么一个[am bm]在 U 里面,然后根据构建[am bm]是无界的,但是 U 又是有界的,就达成矛盾了
@huzhikuizainali 筛选掉的不一定是有界的,至少有一个是无界的(证明第 4 行)

U 是有界的不能证明 U 外面就是无界或有界的,只能证明 U 内部肯定是有界的,所以必须要有一个更小的区间在 U 里面达成矛盾,前面的证明只是说有这么一个 U 存在,但是不能说明 ab 能精确到 U 内部,所以要构建出来能达到 U 内部的

U 覆盖到 0 那块是说你在 1/x 那个,U 永远有界,但是要在连续的闭区间内,0 不可能在 U 里面,你那个开区间就有可能是无界的,因为不连续了或者没定义了,没法说 U(0,delta)是有界的
你这只是证了 u 在 ab 区间内,不代表有一个更小的 ab 区间能嵌在 u 内,还有就是你能证明无限多个 u 一定能覆盖住最大的 ab 区间吗

对你后面给的那个你 u 有界也没法覆盖到 0 不是
才意识到 mixexplorer 似乎可以
用 tasker 跑,安卓还真没想到有啥批量重命名的
8 天前
回复了 bwijn 创建的主题 Python scrapy 的 item 队列把内存挤爆
内存不够就放硬盘存着?
我买 pixel 送的一年,感觉不如 GPT ,主要是上下文不连贯,经常一个对话不会看上面的回答,必须要我自己给指示才行,GPT 没这个问题,别的日常差不多够用了
80 天前
回复了 good1uck 创建的主题 推广 [推广]软考刷题神器,想软考的朋友有福了
想起来当年软考用的酷安上的 老子软考,现在应该是没了
145 天前
回复了 miaeLKK 创建的主题 App Store 求推荐闹钟 app
sleep as Android
155 天前
回复了 webberQian 创建的主题 问与答 有没有手写版或者手写笔推荐的
敲字的话不如用 typst 敲公式敲得快,后面用 pandoc 转转
那你去 pr 啊...
185 天前
回复了 werwer 创建的主题 输入法 初学者应该选择哪种双拼方案?
微软,不需要小鹤那种一个键按两遍比如 aa 这种用的比较多的字;支持设备也多,换电脑好配置
刷 v2 也差不多
@panlista 这个是盗版
1. 大量的按同一个键很烦的,比如啊,我记得是 aa
2. 配置麻烦,随便用谁的电脑都能很方便地调成微软双拼,调整完再复原,小鹤比不了
213 天前
回复了 ggp1ot2 创建的主题 软件 寻找这样一款每日待办提醒的软件
为什么不试试滴答清单
我才发现 view->show inspector 能改字体,感觉要好不少
@HancockXu 没有 Mac ,win 上也没个便宜好用的替代,obsidian 跟 excalidraw 都不方便添加节点和画联系
op 有发现新的工具了吗,不光是中文字体渲染不行,东西多了箭头渲染出来也不太好看,容易被挡住
1  2  3  4  5  6  7  
关于   ·   帮助文档   ·   博客   ·   API   ·   FAQ   ·   实用小工具   ·   2613 人在线   最高记录 6679   ·     Select Language
创意工作者们的社区
World is powered by solitude
VERSION: 3.9.8.5 · 49ms · UTC 00:26 · PVG 08:26 · LAX 16:26 · JFK 19:26
Developed with CodeLauncher
♥ Do have faith in what you're doing.