连续性(continuity)和无穷小(infinitesimals)—8
8.构造性的实线和直觉连续统

构造性数学发展的最初动机是把数学存在的想法置于构造性或可计算的基础上。虽然构造性数学有很多种(参见Bridges和Richman [1987]),但在这里我们重点介绍Bishop的构造性分析(参见Bishop和Bridges [1985];Bridges [1994]、[1999]以及Bridges和Richman[1987]和Brouwer的直觉分析(见Dummett [1977])。

在构造性数学中,只有在原则上至少能产生明确的解时才能把问题视为已解决。例如,有一个x使得P(x)意味着,我们至少原则上能明确地产生一个x使得P(x)。这一事实导致对经典逻辑的某些原则的质疑,特别是排中律并创造一种新的逻辑即直觉逻辑。它还导致引入对实数的尖锐定义—构造性实数。一个构造性实数是一个有理数序列(rn) = r1, r2, ... 这样,对于任何k,一个数n能这样计算:|rn+p − rn| ≤ 1/k。每个有理数a 能通过把它标识为实数(α, α, ...)视为实数。所有构造性实数的集合R是构造实数线。

当然,对于任何给定的实数,有多种方法能给出明确的近似序列。因此有必要定义一个等价关系即实数相等。这里的正确定义是: r =ℜ s仅当对于任何k,能找到一个数n使得 |rn+p − sn+p| ≤ 1/k,对于所有p。说两个实数相等就是说它们在这个意义上是等价的。

实数轴能用公理描述提供。我们首先假设存在一个集合R:

二元关系 > (大于);
由 x # y ⇔ x > y或y > x定义的对应的间隔关系;
一元运算x映射到 −x
二元运算(x, y)映射到x + y(加法)和 (x, y) 映射到xy(乘法);
区分元素0和1,其中0 ≠ 1;
一元运算x映射到元素集≠ 0上的x^(−1)。
R 的元素称为实数。如果x > 0,那么实数x为正,如果 -x > 0,那么为负。 关系 ≥(大于或等于)定义为
x ≥ y ⇔ ∀z(y > z ⇒ x > z)。

关系<和≤以通常的方式定义;如果0 ≤ x,那么x是非负的。如果x ≥ y且y ≥ x,那么两个实数相等,在这种情况下,我们写成x = y。

自然数集N、正整数N+、整数Z和有理数Q用R的通常子集标识;例如,N+被标识为形式为 1 + 1 + … + 1 的R元素的集合。

这些关系和运算服从以下三组公理,它们共同构成用于构造分析的公理系统CA或构造实数(参见Bridges [1999])。

域公理参见附件1。

此外,由符号>和≥构建的基本属性参见附件2。
........

上面介绍的构造实线R是CA的模型。是否有任何其它模型,即不与R同构的模型。如果假设经典逻辑,那么CA是范畴论,因此答案是否定的。但在直觉逻辑中,情况并非如此,因为戴德金实数和康托实数可能无法同构,尽管它们都是CA的模型。

在构造分析中,实数是由有效规则生成的有理数的无限(收敛)序列,因此构造实数线本质上只是其经典对应物的限制。 布劳威尔式的直觉主义对该问题采取更自由的观点,导致与严格构造主义所提供的版本相比,算术连续统得到相当大的丰富。正如直觉主义所设想的那样,算术连续统不仅承认由计算其项的有效规则预先确定的无限序列,而且承认其生成自由选择起作用的无限序列为实数。后者被称为(自由(选择序列。不失一般性,我们能并且应假设选择序列中的项是自然数。

虽然构造性分析在形式上并不与经典分析相矛盾,并且实际上可被视为后者的子理论,但已经为选择序列理论提出许多直觉上合理的原则,这些原则使得直觉分析与其经典分析不同。一个这样的原则是布劳威尔的连续性原则:给定选择序列α和数n之间的关系Q(α, n),如果对于每个α可确定一个数n且Q(α, n)成立,那么n已经能根据有限数量的α项的知识确定。[48]由此可证明连续性定理的一个弱版本,即从R到R的每个函数都是连续的。另一个这样的原则是Bar Induction,一种对有充分根据的有限序列集的归纳形]。布劳威尔使用 Bar Induction和Continuity Principle证明他的连续性定理,即在闭区间上定义的每个实值函数都是一致连续的,正如已经观察到的,由此能得出直觉连续统是不可分解的。

布劳威尔通过引入创造性主题对数学的直觉主义概念进行明确的主观扭曲。构造性主体被设想为一种理想化的数学家,在他看来,时间被划分为离散的连续阶段,在每个阶段中,他能测试各种命题,尝试构建证明等。特别是,总是能确定在阶段n构造主体是否具有特定数学命题p的证明。虽然构造性主体的理论仍然存在争议,但其纯粹的数学结果能通过一个完全没有主观和时间因素的简单假设获得。

创造性主体允许我们为给定的命题p定义一个二元序列,如果构造性主体在阶段n有p 的证明,那么an = 1; 否则an = 0。现在,如果这些序列的构建是创造性主题的唯一用途,那么可通过假定称为Kripke方案的原理避免对后者的引用。

对于每个命题p存在一个递增的二元序列使得p成立,当且仅当某个n的 an = 1。综上所述,这些原则已被证明对连续统子集的不可分解性具有显着影响。不仅直觉连续统是不可分解的(换言之,不能分成两个非空的不相交部分),而且假设连续性原理和克里普克方案,即使有人用大头针戳它它仍然是不可分解的。直觉主义的连续统可以说是一种糖浆的性质,因此人们不能简单地拿走一点。如果另外假设Bar Induction,那么更令人惊讶的是即使从连续体中移除所有有理点仍保持不可分解性。

最后,已经表明能在直觉主义数学中发展无穷小的自然概念(参见 Vesley [1981]),这个想法是无穷小应该是一个非常小的实数,因为它是未知的可区分—即严格大于或小于—零。

stanford: https://t.cn/A6MX77dW

#兮兮零设计平台# #周末去哪儿# #艺术展览#
[中国赞] 梁铨个展「缺题」
广东美术馆正在举办梁铨个展「缺题」,将艺术家梁铨不同时期的绘画表达带入当下,完成对其三十余年创作的一次小结。梁铨是中国最早将传统水墨结合抽象创作的艺术家之一,构建了东西方美学语言贯通却相互区别的个人表达。他的作品表达了写实和写意的思考,用细碎的言语辩白,在形与无形之间重建秩序,细节的极致调和以至“空”的境界。水墨轻重有序的晕染,形的消融,真实被层层措置与堆叠的细节阐释,以一种近乎消失的方式置于现实中再次显现,空白意味着无限。表达上的让步和不明确指向,用不对抗不强加的态度应对瞬息万变,梁铨以其最具代表性的水墨拼贴,铺开淡然悠远的禅意。他用综合材料拼贴贯通西方抽象艺术和中国传统水墨,因深刻的东方精髓和独特的风格备受瞩目。
时间:2021年8月18日 - 9月12日
展地:广东美术馆

[中国赞] 卡奥斯狂想曲: 西班牙艺术家奥田·圣·米格尔艺术展
上海久事艺术空间正在举办西班牙艺术家奥田·圣·米格尔艺术展「卡奥斯狂想曲」,展览涵盖了绘画、雕塑、混合媒介、沉浸式互动装置、大型充气装置等多件米格尔极具代表性的艺术作品,作品中的各种构图、人物、图形与风景,不仅仅体现了技术的多样性和创意性,更传递了对于生活的多重思考和关注。艺术家将用其独有的彩色纹理覆盖了整个空间的地板,试图让观众从踏入的那一刻起就感受到与作品的参与感,从而建立信任与共鸣。奥田·圣·米格尔/Okuda San Miguel 是西班牙当今最具国际影响力的当代先锋艺术家之一。他极具标志性的创作语言中融合了古典神学题材与当代街头艺术、波普艺术、超现实主义乃至神秘美学等不同的视觉文化元素。全景式的街头视角,色泽鲜亮的动物雕塑,线条流畅的几何建筑,为许多被人们遗忘的建筑,增添了一抹崭新的生命力。
时间:2021年8月21日 - 10月24日
展地:上海外滩18号久事艺术空间

[中国赞] 侯登科摄影回顾展1978 - 2002
武汉美术馆正在举办侯登科摄影回顾展,全面展出侯登科的经典摄影作品以及原作150余幅、手稿、文稿、底片、自画像等。侯登科生于上世纪50年代,陕西凤翔人。在其二十多年的纪实摄影生涯里,他以「乡村」、「工地·民工」、「麦客」为主要线索,用手中的相机记录下了当代中国的社会变迁,尤其是中国当代农村社会所发生的深刻的内在与外在的变化。侯登科在摄影和思想上的探索,不仅具有重构摄影与中国社会现实相联系的文化定位的意义,在今天来看,他还以其过程的完整性和个案的典型性,而成为在那个特定的年代里,观察中国摄影发展的一个代表
时间:2021年8月3日 - 9月2日
展地:武汉美术馆

[中国赞] 超凡与人间: 苏新平与克里斯多夫·勒·布伦
“苏新平的艺术观建立在对人生的反思和实践上,日益激烈的竞争环境中,人们力争上游突破自我奋斗不息的生命状态。正如利郎随时代变迁,不断尝试拓展大众对服装的传统认知,通过融合时尚艺术和商务风格,塑造专属利郎的产品基因,为职场男性们在保持沉稳工作形象的同时彰显个性和品味,这是利郎对于新商务男装的思考,也是将艺术带入普通大众生活的探索。”利郎集团总裁王良星表示,将时尚创意进行到底是其一生所愿。利郎与艺术家苏新平的合作,如同展题——超凡与人间,所包含的现实性与精神性之间的张力,在轻盈与沉重,灵动与直拙之间回旋徘徊,如同一道从两边升起的桥梁,最终以艺术的名义汇合在了一起。
时间:2021年7月30日 - 9月19日
展地:深圳市当代艺术与城市规划馆

[中国赞] 法国艺术家Francois Bancon个展:“11种孤独的对话”
本次展览共分为11个章节,每个章节都是艺术家与自己的对话,抒发了他通过观察、感受和分析周围的世界而引发的哲思。公众在被邀请来观看和阅读这些图像时,也在与作品进行无声的对话。对话使人们在孤独中相遇,正如吉尔·德勒兹(Gilles Deleuze)所说,"正是在这一孤独的背景中,你们才能实现任何一种相遇。你们与不同的人相遇(而且有时没有认出他们,也从未见到他们),当然还与运动、观念、事件、实体相遇。"像所有对话一样,它们可以是无聊的,也可以是令人兴奋的…....这取决于认知、喜好和当下的思绪,这 11个对话有不同的语气,大部分呈现为传统的博物馆布置,作品需要从一定的距离观看,其他的需要氛围,特定的光线,或需要公众的互动。总体来看,这是一个双重的对话,包含了艺术家与他自己的对话,以及公众与图像之间的对话。
时间:2021年7月31日-10月8日
展地:深圳布沙路大芬村

[中国赞] 徐跋骋个展:永生之象
上海民生现代美术馆正在举办徐跋骋个展「永生之象」,本次展览将展出艺术家逾 700 件作品,展览空间被分为7个剧场空间,上演着魔幻现实的荒诞剧,以此对艺术家的创作进行阶段性回顾与梳理。徐跋骋擅长将架上绘画、文学、电影、装置、行为表演等艺术创作方式的相互贯通,用不同的讲述方式取长补短、贯穿融合,展现其多元性与无限可能性。展览标题「永生之象」源自徐跋骋个人的同名电影与绘画:「永生」是一个伴随着徐跋骋多年创作的概念,是一种个人英雄主义的投射,他认为应当通过艺术「强化个体意识的觉醒」,并以此「回归自我」。
时间:2021年7月18日-9月18日
展地:上海民生现代美术馆

更多博物馆馆藏素材+VX公众号:兮兮零设计平台

家中财神摆放注意,何谓“五宜八忌”?

财位小百科:风水学之财位有“象征性财位”与“实质性财位”,象征性财位是属于“明财位”,即一般大众所说的入门的左边或右边对角线的位置。该位置最好不要是走道通路,而能形成一个角落聚财之象,然后在该位置摆放一些吉祥物,就有增加财源的机会。

适当的装饰摆设,也能增加客厅的气场。而财位的布置有诸多讲究,具体而言大致有十大注意事项,而后面的“五宜八忌”则起补充和强调之用。

1、财位忌无靠: 财位背后最好是坚固的两面墙,因为象征有靠山可倚,保证无后顾之忧,这样才可藏风聚气。反过来说,倘若财位背后是透明的玻璃窗,这不但难以积聚财富,而且还因为容易泄气,会有破财之虞。

2、财位应平整: 财位处不宜是走道或开门,并且财位财位上不宜有开放式窗户,开窗会导致室内财气外散。若有窗户可用窗帘遮盖或且封窗,财位才不致外漏。财位要尽量避免柱子和凹处,若此处恰是通道则可放置屏风,这样既能避免穿透的尴尬,亦可形成一个良好的财位。

3、财位忌凌乱振动: 如果财位长期凌乱及受振动,则很难固守正财。所以财位上放置的物品要整齐,也不可放置经常振动的各类电视、音响等。

4、财位忌受污受冲: 财位应该保持清洁,倘若厕所浴室在财位或杂物放在财位,这就会玷污财位,令财运大打折扣,不但使财位不能招财进宝,反而会令家财损耗,财位也不宜被尖角冲射,以免影响财运。

5、财位不可受压: 财位受压会导致家财无法增长,倘若将沉重的衣柜、书柜或组合柜等等放在财位,令财位压力重重,那便会对家宅的财运有百弊无一利。

6、宜亮不宜暗: 财位明亮则家宅生气勃勃,因此财位如有阳光或灯光照射,对生旺财气大有帮助;如果财位昏暗,则有滞财运,需在此处安装长明灯来化解。

7、财位宜坐宜卧: 财位是一家财气所聚的方位,因此应该善加利用除了放置生机茂盛的植物外,也可把睡床或者沙发放在财位上,在财位坐卧,日积月累,自会壮旺自身的财运。此外,如果把餐桌摆在财位也很适宜,因为餐桌是进食之所,在吸收食物能量的同时,又吸收财气,可谓一举两得。

8、财位宜放吉祥物:财位是旺气凝聚的所在地,若在那里摆放一些寓意吉祥的招财物件,例如福、禄寿、三星或是文武财神的塑像,这会吉上加吉,有锦上添花的作用。

9、财位忌水: 财位好稳忌水,因此不宜在此处摆放水种植物,也不可以把鱼缸摆放在财位,以免见财化水。

10、财位植物要讲究:财位宜摆放生机茂盛的植物,不断生长,可令家中财气持续旺盛,运势更佳。因此在财位摆放常绿植物,尤其是以叶大或叶厚叶圆的黄金葛、橡胶树、金钱树及巴西铁树等最为适宜,但要留意,这些植物应该用泥土来种植,不能以水培养。财位不宜种植有刺的仙人掌类植物,因为此类植物是用来化煞的,如不明就里,则弄巧成拙,反而造成伤害。而藤类植物由于形状过于曲折,最好也不放在财位上。

一年四季行好运

1、财位宜亮。明亮则生气勃勃。故财位若有阳光或灯光照射,对生旺财运将大有帮助。

2、财位宜生。“生”指生机茂盛,故应在财位摆放常绿植物,尤以叶大或叶厚的黄金葛、橡胶树及巴西铁树等最为适宜;这些植物应用泥土种植,若以水来培养则不宜。财位不宜种植有刺的仙人掌类植物,否则弄巧成拙。

3、财位宜坐。财位是一家财气所聚的方位,可以多加利用,例如把沙发、休闲椅、餐桌等常有家人落座的家具摆放在财位。

4、财位宜卧。睡床方位的吉凶对运程有很大的影响。睡床若摆在财位,对催旺家中财运大有益处。

5、财位宜吉。财位是旺气凝聚的场所,若在那里摆放一些寓意吉祥的物件,如福、禄、寿三星或是文武财神的塑像,会有锦上添花的妙处。

1、开门的位置冲向财神位就是犯冲;

2、财神位的后方是厕所、厨房就是犯秽;

3、财神位后方不可是楼梯,楼梯属于动线,气场流动快,财神位后方气场流动太快,会使得神明坐不安稳;

4、财神位所靠的墙面不可以是空心的木板墙或轻钢架墙,必须是红砖墙、RC墙或轻质砖墙等;

5、财神位的两侧除了不可以是门扇、窗户外,还要有墙面或隔屏,以保持气场的稳定,同时其长度必须超过神桌深度;

6、灯光不可以直接装在神桌上方,必须装在前方距离神桌一倍的距离为佳,如果是采用嵌灯,则不可置于中间一排,直冲财神位;

7、很多人考虑烧香时所造成的烟火禁忌,就在供桌上方加装抽风机,其实它会造成磁场及气场的效应,影响很大,万万不可;

8、财神位是一个能量体,床头在财神位后方,头部长期接触财神位,容易受到干扰,影响心绪、思虑,所以不宜在财神位后方;

注:与文财神爷摆放位置不同的是,武财神爷摆放位置刚刚好是正对于大门,这样可以为家居生活招纳更多的财气。但要特点注意的是,文财神爷与武财神爷不可摆放在一起,这样不仅起不到双倍的效果,反而将影响其各自招财效果。


发布     👍 0 举报 写留言 🖊   
✋热门推荐
  • 13664530756(微)游侠带你玩西北#旅行攻略# 26条青海旅行攻略,建议以及旅游攻略~ ①青海基本到了夏季之后,晚上9-10点才会天黑 ②青海西宁是也是
  • 针织工艺高弹性高贴合不跑风 睡得安心4.更亲肤!#滚滚实拍# 【211201设.计.师款羽绒服】这个加拿大鹅改良版,团36990白鸭绒(S:117g M:12
  • 客户方是生产汽车零部件——轮毂的,锻造生产线有8条,由于客户的甲方说他们提供的产品质量达不到要求,表面很明显的就看出来上届回顾:  展出面积:33,000平方米
  • #肖战[超话]##肖战##肖战正能量艺人##肖战顾魏# 肖战我喜欢你,肖战顺顺利利[鲜花][鲜花][鲜花]❥︎︎❥︎❥╰━━╯ ✨  ┊ ┊     ┊ 
  • [饞嘴]水木笙蔬食黑松露菌菇煲 黑松露味很淡 反而奶油味較突出 濃味適合下飯 已知的菇菇有海鮮菇 杏鮑菇 茶樹菇等等花開富貴 其實就是加了很多上海青的齋燒
  • #天津新闻#【第54届国际化学奥林匹克在津举办期间精彩纷呈】自7月10日,第54届国际化学奥林匹克(IChO2022)在南开大学开幕以来,凭借出色的组织服务工作
  • 我可以很跳脱,也可以很正气,在路上,我运动,我读书,我取悦自己,我热爱我的热爱,原来人真的是活给自己看的,世界上相异的东西太多了,那就允许精神和灵魂这些美妙的东
  • 他说,如今写作和创作,都变得越来越安静,平和而浪漫——这,是时间带来的成长。成为写作的人,那些“看似不起波澜的日复一日,会突然在某天看到坚持的意义”。
  • 任何人没看过科学小飞侠我都会难过的ok?在抖音上经常看到总有上面三种“人”看到这些评论真的超级无语的,真的有蛮装的,搞得自己有多么的“博爱”“仁义”有时候反而显
  • 喝到好喝的咖啡心情会变好,然后更想学好手冲,自己也可以冲出好喝的咖啡这支埃塞古姬,入口的青柠感有喝出来,多喝几次,尾韵有喝出绿茶的风味,回味久,温度从高到低,酸
  • @时代少年团-宋亚轩#宋亚轩[超话]##宋亚轩十八踔厉风禾尽起# 一转眼我的亚轩马上成年了,遗憾没有早点认识你,但庆幸以后的路我可以陪你一起走,你曾说你想成
  • 周六晚间股市个股利好利空重磅消息:看看有没有你的持仓股 -、以下均是利好消息: 1.第三届全球Mini/Micro LED显示技术周成功举办 多家上市公司高管
  • 自助找券网址【点赞抽10人请喝娃哈哈】0点合集,更多可以搜索【19.9】乐力 益生菌小蓝条2g*20条【19.9】杰士邦 超薄避孕套*32个【37.9】哈药 盖
  • 他说,就是不想让你一个人,心里暖化了[太开心]入住快一周的财财,已经不再是医院里那个对着谁都凶得哈气的小野兽了。所以这两天春假一刻也没闲着,心心念念的青妮王上市
  • (最近在做题有被冒犯到)美容化妆小技巧:【眼线小技巧】面对镜子画眼线有一个最主要的缺点:手会妨碍你的视线,无法看清楚描画的进程。 传统老套的爆款“黑红也是红”
  • "明财位"已经向大家介绍过又叫做"聚气位"或"静位",适宜作一些稳定安静的事情,这样这个区域从风水上
  • #普陀山顶[超话]#从一个网络默默无闻的小透明,到愤然为霍尊发声,我经历了太多,是什么让我这个遇事就躲的人冲在了前面? 我反思过,到底是什么呢? 下单》 【
  • 我们感到自己状态不佳或精力不足时,往往会把必须做的事放在一边,或静等灵感的降临。若你也想学会分别这种形态,接下来的内容要用心看完。
  • ”李剑说,作为季节性产品,营造了一种稀缺感,所以每年一到特定时间,小龙虾上市,消费者就会想吃。”  肖老板告诉新京报贝壳财经记者,每次直播只持续两个小时,炒虾辛
  • 有备无患,600租的氧气肯定是贵了,所以高反开始就感觉不严重的姐妹买两罐那种小瓶的35的就可以了。报团省心,边防证也不用自己去办,吃住都安排好,但我真的想说,7