数学研究的是各种各样的可以表述为数学概念的事物所组成的各类集合,以及同一集合或不同类集合中各种数学关系(运算或转换)和相应的数学结构。
定义1.7(等价关系):集合X中的一个二元关系R称为等价关系,如果R是自反的、对称的和传递的。
二元关系R:集合X中的任意两个元素a,b均可确定它们是适合R( aRb a R b )或不适合R( aR¯b a R ¯ b )。
自反:均有 aRa a R a
对称: aRb−>bRa a R b − > b R a
传递: aRb,bRc−>aRc a R b , b R c − > a R c
e.g. a,b∈Z,aRb:a,b模3同余 a , b ∈ Z , a R b : a , b 模 3 同 余 。 任意两个正整数同余或不同余。可以把正整数划分为3类:余0,余1,余2。每个类集合内的元素是等价的,都满足R关系,且不同集合交集为空。
说明:等价关系可以划分集合X为不相交的几个子集定义1.13 设X,Y是非空集,一元映射运算 σ σ 使X中的每个元素 α α 都有Y中的元素 β β 与之对应,记作:
σ:X→Y σ : X → Y
并称 β β 是 α α 在 σ σ 下的像, α α 是 β β 在 σ σ 下的原像
σ:α↦β σ : α ↦ β
称X是 σ σ 的定义域, σ(X)={σ(α)|α∈X} σ ( X ) = { σ ( α ) | α ∈ X } 是 σ σ 的值域 Imσ I m σ
几何向量与坐标
- 向量加法:平行四边形法则
- 向量数乘:伸缩
- 向量内积:做功, (a+b)∗c=(a∗c)+(b∗c) ( a + b ) ∗ c = ( a ∗ c ) + ( b ∗ c )
向量外积:结果是个向量。大小是平行四边形面积,方向是“右手法则”。仍满足分配律
向量的坐标表示: r=xei+yej+zek r = x e i + y e j + z e k ,然后按照前面的4个定义和性质,得出其在坐标下的表示。