zoukankan      html  css  js  c++  java
  • 从数学到密码学(六)

    数学基础(一)

    进入数学世界后,一切都要遵从这里的规矩。通常而言,都是先给出基本的定义,再用逻辑法则进行推导,最后得到结论(有时用“定理”、“推论”表示之)。

    下面我们就按照这一套路,从高中的基本概念开始,逐步走入大学的数学殿堂,直至达到我们的最终目标--密码学。

    后面涉及的符号先说明如下:

    1、所有定义都以方括号[]表示
    2、←、→分别表示 从右边推导左边 和 从左边推导右边 的过程
    3、重要的结论,用定理表示,粗体

    [集合]、[元素]:一些事物的全体叫做一个集合,集合中的每一个事物称为这个集合的元素。(好象是废话,此处特意强调)
    举例1:全体整数(…、-2、-1、0、1、2、…),构成一个集合,称为整数集,通常用符号Z表示。
    举例2:全体自然数(1、2、…),构成一个集合,称为自然数集,通常用符号N表示。
       --关于N的定义,通常有两种,我们采用其中的一种(把0排除在外),另一种定义是将0也算在自然数范围之内。

    从集合和元素的概念出发,自然得到集合和元素之间的关系——“属于”与“包含”。
    [属于、包含]:x是集合A的元素,则记作x∈A(称为“x属于A”或“A包含x”)。

    推论:对于所考虑的范围内,任意一个对象x和任意一个集合A,以下两种情况有且仅有一种成立:
    (1)x是A的元素,此时记作x∈A
    (2)x不是A的元素,称为“x不属于A”或“A不包含x”

    对于一个集合,其构成元素的次序都无关紧要。
    比如由数字1、2、3构成的集合可记为{1,2,3},它与集合{3,2,1}是一回事。

    带余除法定理:设a∈Z,n∈N,则存在唯一的整数q、r∈Z,满足a=q*n+r,其中0≤r<n
    上式中,q称为商,r称为余数,有时候为了强调,称r为q模n的余数。
    举例:7 = 2*3 + 1,所以称1为7模3(或2)后的余数(2、3的位置对称)

    [映射](又称为[函数]):此定义太普通,请查教科书。

    [子集]、[父集]:此定义请查教科书。

    [笛卡尔积]: 两个集合A和B的笛卡尔积A×B定义为:A×B={<x,y>|x∈A且y∈B}。请注意,A×B中的元素是有次序的。
    通俗地说,A和B的笛卡尔积就是,分别遍历A、B中所有元素得到的有序对所构成的集合。
    举例:设A={a,b},B={1,2},则A×B={<a,1>,<a,2>,<b,1>,<b,2>}

    如果A与B相等,则退化为集合A上的笛卡尔积:A×A={<x,y>|x、y∈A}。
    集合A上的笛卡尔积就是遍历A中所有元素得到的有序对构成的集合。
    举例:对于A={a,b},则A×A={<a,a>,<a,b>,<b,a>,<b,b>}

    [集合上的二元关系]:笛卡尔积A×A的任意一个子集,称为A上的二元关系。
    A×A的子集与A上的二元关系是一个事物的两种说法,指的是同一个概念。在不引起模糊的情况下,二元关系简称为关系。
    通常用子集的名字(大写字母)表示二元关系。
    举例:A={a,b},则R={<a,a>},S={<a,b>,<b,a>},T={<a,b>}都是A×A的子集,因而都是A上的二元关系,也分别用R、S、T表示。

    我们注意到,二元关系的元素与平面上的坐标表示很象,只不过后者是数字的有序对。

    <a,b>∈二元关系R,常简记为aRb。即aRb与<a,b>∈R(R为某个笛卡尔积的子集)是一回事。在不引起误解的情况下,二元关系简称为关系。
    举例:对于关系U={<a,a>},S={<a,b>,<b,a>},T={<a,b>},我们分别有aUa,aSb,bSa,aTb

    通常,aRb并不意味着bRa。以上例中的关系T为例,aTb成立,但bTa不成立(因为不属于T),见稍后的对称性定义。

    下面是集合上一些特殊的二元关系

    如果对于任何x∈A满足:xRx,则说R是自反的,或R满足对称性。
    举例:U、S、T不是自反的,因为bUb、bSb、bTb不成立。

    如果对于任何x、y∈A满足:若xRy则yRx,则说R是对称的,或R满足对称性。
    换句话说,xRy、yRx要么同时成立,要么同时不成立。
    举例:U、S是对称的。T不是对称的。

    如果对于任何x、y、z∈A满足:若xRy、yRz,则xRz,则说R是传递的,或R满足传递性。
    举例:U是传递的。

    设n为正整数,定义整数集Z上的二元关系~(也即Z×Z的子集)如下:
    ~={(a,b)|a、b∈Z且a-b是n的倍数},称~为模n的同余关系,或简称同余关系

    可以证明,如下同余关系与下面条件等价:
      a~b
    ←→a-b=k*n,其中k∈Z
    ←→n|(a-b),|表示整除
    ←→a、b关于模n的余数相同(这就是为什么称为同余关系的原因)

    [等价关系]:如果关系R同时满足自反、对称和传递性,称R为等价关系。
    直接按定义验证,可以证明,Z上的同余关系~是等价关系。

  • 相关阅读:
    单例设计模式
    MySQL数据类型
    MySQL创建、修改、删除数据库
    HTTP请求与响应
    netcore在CentOS7 下使用处理图片的问题
    SQL删除重复数据
    不同浏览器对cookie大小与个数的限制
    asp.net实现SQL2005的通知数据缓存
    MS SQL 设置自增长字段默认值
    MS SQL 批量操作
  • 原文地址:https://www.cnblogs.com/efzju/p/2122321.html
Copyright © 2011-2022 走看看