有限集严格定义严格定义：令N*是正整数的全体,且Nn={1,2,3,……,n},如果存在一个正整数n,使得集合A与Nn一一对应,那么A叫做有限集合.不太理解上边的定义大侠来解释下

Question

有限集严格定义
严格定义：　　令N*是正整数的全体,且N_n={1,2,3,……,n},如果存在一个正整数n,使得集合A与N_n一一对应,那么A叫做有限集合.
不太理解上边的定义
大侠来解释下

Answer 1

这个定义要到大学实变函数课程上才会出现,它的定义是与无限集定义相呼应的,因为无限集的定义是能与整个自然数集一一对应（即两个集合对等）
本质上的意思就是可以标号,即这些数按照一定规律出现
一一对应就是存在一个映射使得两个集合间的数字可以一对一,比如集合A={1,2,3,4}与集合B={2,4,6,8},这里存在一个映射x→2x,就把集合A映成了集合B,且这个映射既单又满（即一一对应）