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上的同余关系~是等价关系。

  • 相关阅读:
    【面积并】 Atlantis
    【动态前k大 贪心】 Gone Fishing
    【复杂枚举】 library
    【双端队列bfs 网格图建图】拯救大兵瑞恩
    【奇偶传递关系 边带权】 奇偶游戏
    【权值并查集】 supermarket
    CF w4d3 A. Pythagorean Theorem II
    CF w4d2 C. Purification
    CF w4d2 B. Road Construction
    CF w4d2 A. Cakeminator
  • 原文地址:https://www.cnblogs.com/efzju/p/2122321.html
Copyright © 2011-2022 走看看