freebsder

个性签名:人已离开,无事别找,找也找不到。

  • 2019-03-13
  • 回复了主题帖: C/C++回忆录

    居然坐地铁有座看书。。。

  • 2019-03-05
  • 回复了主题帖: 诸如#35: #error directive“Not supported.”是什么原因,请大神指点一下

    没有设置GPIO_REG_LIST宏或者设置的值不对

  • 2019-03-01
  • 回复了主题帖: 格物致知04——有限角位移不是矢量

    maychang 发表于 2019-3-1 20:13 一个集合,其中的元素和运算满足你在2楼贴出后来我又在115楼重复贴一次的那些条件,那么这个集合是向量空 ...
    元素和向量都混淆着,整篇论证完全就是关公打秦琼的张冠李戴,没有数学背景就别学人开口向量闭口希尔伯特,你们说是啥就是啥吧,你们赢了。

  • 回复了主题帖: 格物致知04——有限角位移不是矢量

    本帖最后由 freebsder 于 2019-3-1 19:24 编辑
    maychang 发表于 2019-3-1 10:59 把2楼图片重新贴在这里,免得翻来翻去的麻烦。 图片中F没有问题,是个数域。通常我们考虑的是实数域R ...
    你错了。 你们一直混淆了元素和向量。 向量和向量空间的结构,就是最纯粹的代数结构,里面根本不涉及具体元素是函数还是实数还是物理量的角转动。这也是楼上的楼上不懂空间的意义,以为是函数了不起了。 我们通常认知的向量形如x=(r1,r2,r3.....),这只是一种写法和表达,不准确理解说可以表达有序的组成关系。所有x构成所谓的空间X,我们不去追究这个是不是真的空间,姑且认为他是空间。空间是所有x=X,也就是定义中的V,元素是x,组成x的r来自空间定义中出现的F,这里就有几个结构出现了,x,所有x=X,所有r=F。 另一方面,如果再把x作为整体,形如y=(x1,x2,x3...),如果所有的y可以构成向量空间,那也是向量空间,这里的结构是元素y,所有的y=Y,所有的x=X,所有来自X的x。这里的V就是Y,F就是X。 你们一直混淆了x作为向量还是元素。一会你觉得x是元素,它构成y,一会你混淆了x是向量,觉得它是它行如(r1,r2,r3....)。 这不是问题,问题是,第一种,x如果作为元素,那所有的x就是Y的空间定义中的F,X需要满足域的定义,所以必须在X其中定义+*两个运算,否则x不能成为F,谈何空间元素?如果第二种,你需要要一个F也就是所有的r,在r中同样需要+*。 不可能的情况是你在F中定义两种运算满足域,到了空间你换根本无关的两个运算,这就是关公打秦琼。 向量空间的这种纯粹的代数结构,你可以再构成空间,但是分解下去你需要递归满足F和V,不说不代表没有,默认不代表不存在,F,V,+*不用管你元素是实数还是函数,运算是加法还是移动,关键是结构和运算的形式满足。 在域F中,运算符号+和*首先需要满足在F中的构造,然后构造出域F,否则,如果是两个完全无关的对象,定义中的rX怎么定义r和X的组成元素的*运算?突然就冒出来了?如果V和F无关,你觉得数学这种多一个字都嫌多的语言,为啥要把F加到定义中去?空间的定义包含了F这个前提,也就是构成空间元素的元素。所以上面两楼,我说过如果构成空间的元素可以分解和不可以分解两种情况。 随你们放在那种层面,上面我说过,也就是分两种情况。你要当元素x,那就证明自己在移动旋转等运算上构成一个域,这才能构成下一步的空间元素的坐标的基础。如果你要当向量X,那你证明的移动和旋转的操作在组成X的F中能不能满足就开撸,这就真是非欧朋友所谓的臆想了。 这就是向量,就是一个纯粹的结构,根本无关角位移还是函数,无关加还是移动旋转。

  • 2019-02-28
  • 回复了主题帖: 工程师你不站在工程的角度不站在产品的角度做开发,你咋对得起“工程”二字...

    是的,说的是

  • 2019-02-26
  • 回复了主题帖: 格物致知04——有限角位移不是矢量

    本帖最后由 freebsder 于 2019-2-26 14:59 编辑
    cruelfox 发表于 2019-2-26 13:39 常用的 n 维实向量空间 R^n , 复向量空间 C^n  (姑且这么表示吧,你懂的)只是特例。并不等于说向量就都 ...
    有序 是指的 位置的有序,而不是域元素的有序。我原话是“有序排列”而不是你说的“有序元素排列”,谢谢。

  • 回复了主题帖: 格物致知04——有限角位移不是矢量

    本帖最后由 freebsder 于 2019-2-26 09:26 编辑 顺着你们,分两种情况说吧。 一种是角位移是元素,一种是角位移是不是向量。 为什么分两种情况,理由如下:角位移是元素,这个很明确的提出来了。一楼证明试图有限角位移不是向量,同时也说明了无穷小角位移是向量,所以这里是把角位移纳入向量的讨论范畴(不管是有限还是无穷)。 针对第一种,角位移是元素的情况。姑且认为角位移是一个点,组成点集,不可再分解。如果还能分解,那就是下面的第二种情况,由某些东西构成了角位移这个元素。 角位移的集合,是一个点集,这个点即是某个角位移元素的抽象,写作a吧。形式上,这里数学操作是可行的,形式上和大家最熟悉的数的点集是一样的,数也是某些对象的抽象,这个写作c吧。 因为是讨论集合中的元素,所以,我们只能证明这些元素首先是否能构成域。为什么是域而不是群不是环,是因为你们的目标是论证向量,要讨论是否是向量,那么必然要引入向量空间V这个概念,那个定义中的F必须是域,也就是角位移这个元素属于F。如果这个共识都不能达成,那我真不知道这篇帖子你们试图论证个啥。。。 那么来了。在a的集合中,我们定义两个运算+,*,在c中我们也定义两个运算+,*。这里+,*都不是我们意识上的加法和乘法。无所谓吧,现在代换,数学上可以的,代换,把a集合上的+代换成某个符合 a + a' = a' + a 的运算,至于+是什么,我们不追究,只是假设这个 + 存在。同样的,把 c 集合上的+代换成我们通常意义上的加法,所以 c + c' = c' + c。同样的,把a集合上的*代换成某个操作,这个操作 a * a' != a' * a,把 c 集合上的*代换成 乘方运算吧,乘方运算下 c * c' != c' * c。 那么你们的问题来了,你们用相同的形式,证明了c不是域。是这样吗?不是的,大家都知道c是实数域,只需要把 * 这个操作代换成我们熟悉的乘法。这个形式代换用以说明:你们不可以用一个运算的不满足来论证a是不是域(进而能不能构成向量),你们需要的是证明所有的运算都不满足,或者找不到这样的运算满足条件,或无法定义这样的运算满足条件,从而a的集合才不构成域(进而不构成向量)。所以,角位移集合元素运算中的*,只能说明 角位移在*运算下不构成域,很明显,这个*也就是你们称之为“合成”的不满足交换的那一个运算(一个)。形式上一样的,数集在乘方操作下不构成实数域。形式和代换这两种基本数学思维,我觉得不需要再争论了。 很难想象口谈非欧的朋友,试图用这样的背景来告诉我们这就是非欧。所以我一直追问38楼口谈中的所谓非欧想是个啥。你们的整个论证形式上就是用乘方运算来证明了实数不构成域,进而不是(不构成)向量。 这就是我说的1楼论证过程的问题,所以38楼的问题也在这里。 好,第二种情况。角位移纳入向量的范畴。 既然要讨论向量必然涉及到域F和集合V,F是构成V的域。F和V不是乱组合乱构成的,V的定义中构成元素来自F。这也就是我们常见的空间写法R3(右上标), R4(右上标)的意义:告诉我们这个集合里面的元素是由3个、4个同样都来自实数域R的有序排列组成的对象。V的+和*(数乘)运算需要F里面首先满足F域的运算,这也就是为什么在V的定义中要有+和*:ax引入F中的*,x+y引入F中的+(x,y由F构成),而F作为域,必然是封闭完备的。F和V如果组成向量空间,不仅需要满足2楼贴图的性质,也需要有F,+,*的条件。F和V构成空间后,当然可以定义其他运算,这些运算满不满足V的定义,已经不重要了。 首先矛盾的是你们一直强调角位移是元素,如上第一种情况所说,你们把它当F,论证过程有问题。 既然讨论第二种情况,那么显然,角位移在你们的讨论中(同样“无穷小角位移是向量”这个表达式中),它是在V这个集合里面。好了,那么你们论证的F是什么?你们的角位移V是如何用F构成的,你们直接就在V上使用的+在F上有定义吗?F在+这个运算上构成域吗? 如果构成角位移V的F本身都不能构成域,那么你用F写出来的角位移本就不是向量,先不说你直接把角位移当V来论证是不是向量,就说构造出一个本就不是向量的东西,然后再用向量的逻辑通篇论证一遍,这就是我前面说的你们是想用向量的理论来证明{和尚,美女,水,猴子,爱恨}不是向量?这就是我说的关公打秦琼,因为这东西是你自己构造的,关键词是自己和构造。 所以,你们只能论证如果F,+,* 构成域,并且F构成的V在+运算上不可交换。 这就是我说的1楼论证过程的问题。

  • 2019-02-25
  • 回复了主题帖: 关于atmel studio 7生成.lib库文件

    zhuzd 发表于 2019-2-25 11:00 我刚才试了一下,你说的是不是新建工程的时候选择那个 静态库  那个?但是有一个疑问,我新建库工程编译 ...
    引入器件的头。就算和器件无关,引入头也不会造成什么问题。

  • 回复了主题帖: 关于atmel studio 7生成.lib库文件

    zhuzd 发表于 2019-2-25 08:44 不是  我现在是要导出一个lib库给别人用
    新建一个库工程,重新放入文件编译。

  • 2019-02-24
  • 回复了主题帖: 【 ST NUCLEO-H743ZI测评】一个关于TCP的故事之Server/Client建立

    bigbat 发表于 2019-2-24 18:53 楼主的代码是哪个版本,我去到网站https://www.oryx-embedded.com/download.htmlDownload Latest Version 1 ...
    网络问题,你换个网络,或者手机网络试试,无权限我也遇到过。

  • 回复了主题帖: 【 ST NUCLEO-H743ZI测评】一个关于TCP的故事之Server/Client建立

    强大的cyclonetcp秒杀lwip

  • 回复了主题帖: 格物致知04——有限角位移不是矢量

    我很难想象连向量空间的定义都要扯半天的知识结构能完备到哪里去。

  • 回复了主题帖: 格物致知04——有限角位移不是矢量

    cruelfox 发表于 2019-2-24 16:16 你一直没把 V 的元素是什么搞清楚。 就自己臆想半天“位移运算”,“旋转运算”,你这不是数学思维。
    不是我臆想的运算,而是你知识结构局限而不知道罢了。

  • 回复了主题帖: 格物致知04——有限角位移不是矢量

    cruelfox 发表于 2019-2-24 16:16 你一直没把 V 的元素是什么搞清楚。 就自己臆想半天“位移运算”,“旋转运算”,你这不是数学思维。
    非欧那么多,我问你精确的指什么,你又不开腔,呵呵。你搞懂了就说,别装深度。

  • 回复了主题帖: 格物致知04——有限角位移不是矢量

    cruelfox 发表于 2019-2-24 16:16 你一直没把 V 的元素是什么搞清楚。 就自己臆想半天“位移运算”,“旋转运算”,你这不是数学思维。
    来,我是臆想,你从昨天到今天都没说出你要定义的V是什么,要喷就拿出你的说法,别装高深。不要弄物理,我不会物理,要打就在一个平面打,别一会物理一会数学。我就不信你家物理把旋转这种操作就抹掉了。

  • 回复了主题帖: 格物致知04——有限角位移不是矢量

    maychang 发表于 2019-2-24 16:14 你自己定义的空间,“我定义+是两个元素的一个运算,先进行一次转动,再进行另一次转动” 称之为 + 吧, ...
    你知道你的逻辑错在那里吗? 话糙理不糙,勿介意: 你要证明某人是个男人,好的,你应该描述所有男人的性质,然后来证明这人是不是男人,符不符合这些性质。而你和38楼,妄图定义一个人,然后你说你论证的对象没有子宫,所以不是男人。 这就是你们整个逻辑的错误,用一个扩大外延来论证内涵。错。框就是框卡尺就是卡尺,你用一个大框去套小框,然后描述小框不符合大框的性质,所以小框不是小框。。。我无法再往多的解释了。

  • 回复了主题帖: 格物致知04——有限角位移不是矢量

    本帖最后由 freebsder 于 2019-2-24 15:58 编辑
    maychang 发表于 2019-2-24 14:52 姑且称(F,V,+)为这个空间吧。+ 代表位移运算,也可以代表旋转运算,还可以代表翻滚运算 我再说一 ...
    >>>转动不是运算,是这个集合中的一个元素 你这个集合里元素又是转动,又是实数,满足F数域的定义吗? >>>我定义+是两个元素的一个运算,即先进行一次转动,再进行另一次转动 你自己定义的空间,“我定义+是两个元素的一个运算,先进行一次转动,再进行另一次转动” 称之为 + 吧,(F,V,+) 符合交换律吗?不符合交换律你定义的啥空间呢? >>>因此这个集合不是向量空间 你自己定义一个不是向量空间的集合,然后一堆论证xxx不符合你定义的集合,所以你下了结论 xxx不满足你定义的集合就不是向量。 你要论证xxx是向量,需要首先定义一个向量空间,再来论证xxx不再这个空间里。。。而不是弄一个所谓的不是向量空间的集合来证明xxx不再这个集合里所以xxx不是向量。整个概念一塌糊涂。。。 哎。算了,不纠缠了,你说了算。

  • 回复了主题帖: 格物致知04——有限角位移不是矢量

    本帖最后由 freebsder 于 2019-2-24 13:27 编辑
    maychang 发表于 2019-2-24 11:14 要证明某些元素X和y不在向量空间V中,只要证明x+y不满足交换律。注意这里的+,是指某种二元运算,并不 ...
    >>>要证明某些元素X和y不在向量空间V中,只要证明x+y不满足交换律。注意这里的+,是指某种二元运算,并不一定是V中的运算。 这理论也太玄了,一会跳出空间去一会又进到空间来,向量空间这玩意是你们想来就来想走就走的,硬刚这个操作也不能这样随心所欲来去自由的。。。 既然某种二元运算都不是V中的操作,你用不是这个空间中的这个运算来证明xxx东西运算之后的结果不在这个空间里因此推出它不是yyy。 照你这么说,我定义一个开17次方的操作吧,这样证明下来,没有什么东西能叫做向量了。

  • 回复了主题帖: 格物致知04——有限角位移不是矢量

    maychang 发表于 2019-2-24 12:17 如果你要说明其他交换,你需要引入新的符号,这个符号的运算 和 + 是不同的。 在另一个集合中,定义一 ...
    这里你还犯了个错误,企图用扩大外延论证内涵,我只能认为你在强刚了。前面都在说向量空间,你忽然抛个集合概念,,,向量空间是集合没错,那你来给我在扩大外延的集合  {和尚,美女,铅笔,跑,水,思维,爱恨} 里讨论有限角位移是不是向量。

  • 回复了主题帖: 格物致知04——有限角位移不是矢量

    本帖最后由 freebsder 于 2019-2-24 12:33 编辑
    maychang 发表于 2019-2-24 12:17 如果你要说明其他交换,你需要引入新的符号,这个符号的运算 和 + 是不同的。 在另一个集合中,定义一 ...
    话是没错。可你又犯了个错。 姑且称(F,V,+)为这个空间吧。+ 代表位移运算,也可以代表旋转运算,还可以代表翻滚运算,但是一次只能代表一个运算,这点承认吧。 好了,按你的逻辑,那么问题来了,(F,V,旋转)是空间吗?旋转满足交换吗?所以你这里犯的错是,用一个不是空间的东西来证明xxx不符合(F,V,旋转)定义,这逻辑。。。为什么我盯着旋转不放,因为你按你的逻辑,一来就搞了个 (F,V,旋转),这东西本就不是空间啊,你在里面证明半天。。。

统计信息

已有427人来访过

  • 芯币:3003
  • 好友:8
  • 主题:72
  • 回复:1466
  • 课时:--
  • 资源:1

留言

你需要登录后才可以留言 登录 | 注册


yezi2989 2018-2-26
您好!看您在论坛上分享了很多主题经验,我们现在有一个投稿活动有兴趣了解下不?
查看全部