埘光之沙

正式用户

最新动态 4周前

  1. 4周前
    2019-01-15 18:19:37
    埘光之沙 更新于 写一点点有关于数学的东西

    嗯我得学一下TEX代码,以前没用过。233我以前都比怎么看论坛的,所以一直没头像。关于公式的问题感谢指出,已经尽力更改了~

  2. 2019-01-15 17:18:40
    埘光之沙 发表了帖子 写一点点有关于数学的东西

    这个帖子来源于知乎里这个回答:“初等数学很难学,不学初等数学可以直接学高等数学吗?” - 知乎
    https://www.zhihu.com/question/306898056 我觉得答主在回答中说的路线很有趣,甚至产生了按照这个路线写点东西的冲动.并且在评论里提了一句.正所谓自己说出的话哭着也要做到(笑),于是就有了这篇贴.本来应该首发在知乎专栏再转发过来的,但是我是知乎小透明,不让我建专栏.嗯,好了闲话少说,希望大家多多关注,争取两开花(手动滑稽),另本人才疏学浅,希望大家多多指正,感激不尽。
    前言
    我们学习数学时,常常会产生这样的问题:”xx为什么是xx”.这样的问题在大多数人看来是没有任何意义的.而笔者认为即使他问的问题没有意义,但他为什么会问出这样的问题确实很有意思的.这往往意味着它对某一知识没有深刻的理解.笔者一直相信数学应该有清晰的逻辑路线并且是符合直觉的(即使有一些很反直觉,但总有我们可以理解的切入点).说这些是因为这个系列的文章叫做”逆练九阴真经”,笔者尝试一种自上而下的路线.读者很可能会产生这样的疑问。为了可读性,笔者尽量不会铺垫厚重的理论,因为在应用之前学一堆以后才能用得上甚至于不知道什么时候能用得上的理论是很痛苦的事情.我大概会在碰到问题时在介绍解决问题的理论,现学现用.
    一个数学对象的出现,源于我们对自然界中某个共同特征的抽象.我们讨论一个东西是什么,(至少)有两种方法,一种是将其列举出来,另一种则是描述它的性质。这和我们表示集合的方法不谋而合。例如我们考量度量的定义:在集合X上有一个函数$ ρ: X^2→R_+$,其满足:
    (1)对于$ \forall x_1, x_2 \in X,ρ (x_1,x_2)≥0$,当且仅当$ x_1=x_2$时有$ρ(x_1,x_2 )=0$
    (2)对于$ \forall x_1, x_2\in X, ρ(x_1,x_2)=ρ(x_2,x_1)$
    (3)对于$ \forall x_1, x_2 ,x_3\in X,ρ(x_1,x_2)+ρ(x_2,x_3)≥ρ(x_1,x_3)$
    满足这样性质的函数我们都叫做某集合上的度量。这就是典型的描述式定义。定义是因为其有这样的性质,这样的性质很有用,所以我们给它取了个名叫度量。并不是度量叫做度量所以它有这样的性质。同时我们注意到度量实际是从欧式空间下的距离抽象过来的,带有明显的痕迹,例如(3),我们称作三角不等式性,因为它是在欧式空间三角形中两边之和大于第三边过来的(曲率为0的平面才有这个性质)。了解了这两点,大概就不会再问出“为什么xx是xx”这样的问题。
    另外我可能会更得很慢(主要因为我懒),读者见谅(不要顺着网线过来打我)。
    Part 1 自然数
    数学里我们第一个接触到的数学对象是“数”的概念,这里的数指的是自然数。自然数,听这个名字,多自然啊(手动滑稽)我们从小学就会数1,2,3,…。并且我们知道其上简单的运算,如加减乘除,也知道有这样的操作:1<2<3<…
    如果假设读者了解基本的朴素集合论和关系,函数的概念,我们会惊喜的发现加法和乘法可以看做是函数,而其上的大小关系则是一个序关系。我们之后会证明加法和乘法是在自然数集上保持运算的,而自然数集上的一般序是一个良序。但在这之前,容我唠叨几句朴素集合论。因为这个是写给初中生看的,我要尽力让他们能看懂。
    一、朴素集合论初步
    1.1 集合
    集合的概念:集合几乎是数学里最基础的概念了,这样的概念我们一般不加定义的。另一个极端,不加定义就意味着会有很多种定义。这里按照朴素集合论里的集合概念简单的定义集合。集合是指具有同一性质p的对象组成的全体。记做: A={x|x满足性质p}
    例如所有看这个贴的人就可以组成一个集合。朴素集合论的定义会导致罗素悖论,但咱们要讲的东西应该不会引起了罗素悖论,所以就这样用了。
    对于集合 A={x|x满足性质p},其中满足性质p的对象,称为集合A的元素如果一个对象x是集合A的元素,则称x属于集合A,记做$ x\in A$ ,否则称x不属于A,记做$ x\notin A$ 。例如 x=鲸鱼,A={x|x属于硬骨鱼纲},$ x\notin A $
    若对于$ \forall x\in A,x\in B$,则称A包含于B,称B为A的子集,记做$ A\subseteq B$。即A中所有的元素都在B中,B完全覆盖了A。
    若$ A\subseteq B$且$ B\subseteq A$,则称$ A=B$。互相覆盖的就完全重合了,此处定义类似于“a≤b且b≤a则a=b”
    定理1.1 设A,B,C均为集合,有
    (1)$ A=A$
    (2)若$ A=B$,则$ B=A$
    (3)若$ A=B,B=C$,则 $ A=C$
    这个定理说的是集合上的相等是个等价关系,此处按住不表
    定理1.2 设A,B,C均为集合,有
    (1)$ A \subseteq A$
    (2)若$ A\subseteq B$,且$ B\subseteq A$,则$A=B$
    (3)若$ A\subseteq B$,$ B\subseteq C$,则 $ A\subseteq C$
    这个定理说的是集合间的包含关系是偏序关系,此处按住不表。
    以集合作为元素的集合我们称作集族,一般用花体字母表示。我们常常要讨论一种集族,我们称之为该集合的幂集族。对于集合X={$ x_1,x_2,x_3$},X的幂集族是指所有X的子集组成的集族,用$ \mathscr P$表示,即$ \mathscr P$={{$ x_1$},{$ x_2$},{$ x_3$},{$ x_1,x_2$},{$ x_2,x_3$},{$ x_1,x_3$},$P$ ,$\phi$ }

  3. 2019-01-13 11:48:20
    埘光之沙 更新于 非欧几何是向量空间不

    矢量是物理中的说法,向量是数学中的叫法,不过两者可以混用。这个高中就应该知道的啊

  4. 2019-01-13 11:47:03
    埘光之沙 更新于 非欧几何是向量空间不

    @自然法师之神 [quote=47317:@埘光之沙]向量空间可以等价于矢量空间吧

    对的,不是等价,完全就是一个意思。

  5. 2019-01-12 18:24:27
    埘光之沙 更新于 非欧几何是向量空间不

    线性空间指集合上有加法和乘法两种运算,并且运算满足那八个运算律的集合。可能是我所学尚浅,我不是很懂。非欧几何和欧式几何是空间么?如果是的话,那集合里分别都有啥啊?

  6. 2019-01-12 11:46:30
    埘光之沙 更新于 非欧几何是向量空间不

    非欧几何和线性空间是两种不同的东西,不能这样问。同样的你也不能说欧式几何是线性空间啊。要判断一个东西是不是线性空间,它至少得是个空间(空间基本相当于集合加上集合上的结构)吧,不是空间至少得是个集合吧。而非欧几何是一种由公理体系构建起的几何结构。其与欧式几何的区别在于第五公设的不同。在刚体运动的不变量角度来看是曲率不同。建议楼主先弄明白这些数学概念的定义。

  7. 2019-01-12 11:38:11
    埘光之沙 更新于 请教一个高等代数的问题

    感谢

  8. 6周前
    2019-01-02 14:13:41
    埘光之沙 发表了帖子 请教一个高等代数的问题

    如果把矩阵看做线性变换,那么对角矩阵代表着伸缩变换,正交矩阵代表旋转变换。而一般的非奇异方阵因为没有维数的变换,则代表伸缩和旋转的复合。那么对于可对角化矩阵来说,谱分解可以把两张变换分开进行(实际是找到一组基让原来基下的变换变成伸缩变换,感谢 @摸鱼月半 的指正),那对于非可对角化矩阵就没办法单独拆出这两种变换么?

  9. 去年
    2017-09-02 21:54:58
    埘光之沙 更新于 求教一道编程题

    感谢大佬们 /:)

  10. 2017-09-02 20:20:36
    埘光之沙 发表了帖子 求教一道编程题

    em.....随机输出1-100这100个数,要求不能重复。楼主想了好久qwq,苦于没有想到特别好的算法。有这样几种思路:1.每次用rand输出随机数,然后判断数组中是否有一样的数,如果重复,则再次随机并存储在刚才的位置。2.依次从一个篮子中随机抽取一个数,按顺序放在另一个数组中3.不用系统的rand函数,而是循环随机一个数i,在按顺序1-100的数组a【100】中借助整数变量j,交换a【i】和a【i+1】,循环足够多的次数,就能达到随机性。
    方法一不具有可实现性,复杂度太高,至少用到n*(n+1)/2次判断,方法二本打算用数组做,后来发现并没有办法保证不重复性,因为从数组中抽取是复制,不是是剪切,数组的长度是定死的,没办法删除元素。方法三也是为了保证随机性,就必须循环足够多次造成比较大的复杂度。
    求大神有木有比较好的算法分享下。萌新在这里谢过了~

查看更多