本文利用滤子(Filters)理论的基本事实,建立起非标准实数系 R。一、滤子及超滤子(UtIrafilters)以 N 表示一切自然数的集。取 N 的一些子集所成的族 ,如果满足下列三条件, 就称为 N 上的一个滤子:(F1) 的任意两元的交仍属于 ;(F2...本文利用滤子(Filters)理论的基本事实,建立起非标准实数系 R。一、滤子及超滤子(UtIrafilters)以 N 表示一切自然数的集。取 N 的一些子集所成的族 ,如果满足下列三条件, 就称为 N 上的一个滤子:(F1) 的任意两元的交仍属于 ;(F2) 任意包含的一元的集属于 ;(F3) 空集不属于 ;以α示一切余为有限个自然数的 N 的子集的族,则α满足上述三条件,α称为有限余滤子,是本文要用的滤子,又如,以β表示一切包含自然数“2”的 N 的子集的族。展开更多
文摘本文利用滤子(Filters)理论的基本事实,建立起非标准实数系 R。一、滤子及超滤子(UtIrafilters)以 N 表示一切自然数的集。取 N 的一些子集所成的族 ,如果满足下列三条件, 就称为 N 上的一个滤子:(F1) 的任意两元的交仍属于 ;(F2) 任意包含的一元的集属于 ;(F3) 空集不属于 ;以α示一切余为有限个自然数的 N 的子集的族,则α满足上述三条件,α称为有限余滤子,是本文要用的滤子,又如,以β表示一切包含自然数“2”的 N 的子集的族。