在数学中，一个定义在集合
X
{\displaystyle X}
上的实数值函数
f
{\displaystyle f}
的支撑集，或简称支集，是指
X
{\displaystyle X}
的一个子集，满足
f
{\displaystyle f}
恰好在这个子集上非
0
{\displaystyle {0}}
。最常见的情形是，
X
{\displaystyle X}
是一个拓扑空间，比如实数等等，而函数
f
{\displaystyle f}
在此拓扑下连续。此时，
f
{\displaystyle f}
的支撑集被定义为这样一个闭集
C
{\displaystyle C}
：
f
{\displaystyle f}
在
X
∖
C
{\displaystyle X\backslash C}
中为
0
{\displaystyle {0}}
，且不存在
C
{\displaystyle C}
的真子集闭子集也满足这个条件，即，
C
{\displaystyle C}
是所有这样的子集中最小的一个。拓扑意义上的支撑集是点集意义下支撑集的闭包。
戴德金分割是数学中对于全序集的操作。对于给定的全序集
A
{\displaystyle A}
及其中某个元素
x
{\displaystyle x}
而言，将
A
{\displaystyle A}
分拆为两个非空集合，使得两者其一中所有元素均在
x
{\displaystyle x}
之前、另一真子集中所有元素均在
x
{\displaystyle x}
之后。
在数学中，一个定义在集合
X
{\displaystyle X}
上的实数值函数
f
{\displaystyle f}
的支撑集，或简称支集，是指
X
{\displaystyle X}
的一个子集，满足
f
{\displaystyle f}
恰好在这个子集上非
0
{\displaystyle {0}}
。最常见的情形是，
X
{\displaystyle X}
是一个拓扑空间，比如实数等等，而函数
f
{\displaystyle f}
在此拓扑下连续。此时，
f
{\displaystyle f}
的支撑集被定义为这样一个闭集
C
{\displaystyle C}
：
f
{\displaystyle f}
在
X
∖
C
{\displaystyle X\backslash C}
中为
0
{\displaystyle {0}}
，且不存在
C
{\displaystyle C}
的真子集闭子集也满足这个条件，即，
C
{\displaystyle C}
是所有这样的子集中最小的一个。拓扑意义上的支撑集是点集意义下支撑集的闭包。
在数学中，一个定义在集合
X
{\displaystyle X}
上的实数值函数
f
{\displaystyle f}
的支撑集，或简称支集，是指
X
{\displaystyle X}
的一个子集，满足
f
{\displaystyle f}
恰好在这个子集上非
0
{\displaystyle {0}}
。最常见的情形是，
X
{\displaystyle X}
是一个拓扑空间，比如实数等等，而函数
f
{\displaystyle f}
在此拓扑下连续。此时，
f
{\displaystyle f}
的支撑集被定义为这样一个闭集
C
{\displaystyle C}
：
f
{\displaystyle f}
在
X
∖
C
{\displaystyle X\backslash C}
中为
0
{\displaystyle {0}}
，且不存在
C
{\displaystyle C}
的真子集闭子集也满足这个条件，即，
C
{\displaystyle C}
是所有这样的子集中最小的一个。拓扑意义上的支撑集是点集意义下支撑集的闭包。
在形式文法理论中，确定上下文无关文法是上下文无关文法的真子集。确定上下文无关文法是确定下推自动机可识别的文法。确定上下文无关语言是确定上下文无关文法所定义的形式语言。
在形式文法理论中，确定上下文无关文法是上下文无关文法的真子集。确定上下文无关文法是确定下推自动机可识别的文法。确定上下文无关语言是确定上下文无关文法所定义的形式语言。
在数学中，一个定义在集合
X
{\displaystyle X}
上的实数值函数
f
{\displaystyle f}
的支撑集，或简称支集，是指
X
{\displaystyle X}
的一个子集，满足
f
{\displaystyle f}
恰好在这个子集上非
0
{\displaystyle {0}}
。最常见的情形是，
X
{\displaystyle X}
是一个拓扑空间，比如实数等等，而函数
f
{\displaystyle f}
在此拓扑下连续。此时，
f
{\displaystyle f}
的支撑集被定义为这样一个闭集
C
{\displaystyle C}
：
f
{\displaystyle f}
在
X
∖
C
{\displaystyle X\backslash C}
中为
0
{\displaystyle {0}}
，且不存在
C
{\displaystyle C}
的真子集闭子集也满足这个条件，即，
C
{\displaystyle C}
是所有这样的子集中最小的一个。拓扑意义上的支撑集是点集意义下支撑集的闭包。
在数学中，一个定义在集合
X
{\displaystyle X}
上的实数值函数
f
{\displaystyle f}
的支撑集，或简称支集，是指
X
{\displaystyle X}
的一个子集，满足
f
{\displaystyle f}
恰好在这个子集上非
0
{\displaystyle {0}}
。最常见的情形是，
X
{\displaystyle X}
是一个拓扑空间，比如实数等等，而函数
f
{\displaystyle f}
在此拓扑下连续。此时，
f
{\displaystyle f}
的支撑集被定义为这样一个闭集
C
{\displaystyle C}
：
f
{\displaystyle f}
在
X
∖
C
{\displaystyle X\backslash C}
中为
0
{\displaystyle {0}}
，且不存在
C
{\displaystyle C}
的真子集闭子集也满足这个条件，即，
C
{\displaystyle C}
是所有这样的子集中最小的一个。拓扑意义上的支撑集是点集意义下支撑集的闭包。
戴德金分割是数学中对于全序集的操作。对于给定的全序集
A
{\displaystyle A}
及其中某个元素
x
{\displaystyle x}
而言，将
A
{\displaystyle A}
分拆为两个非空集合，使得两者其一中所有元素均在
x
{\displaystyle x}
之前、另一真子集中所有元素均在
x
{\displaystyle x}
之后。
戴德金分割是数学中对于全序集的操作。对于给定的全序集
A
{\displaystyle A}
及其中某个元素
x
{\displaystyle x}
而言，将
A
{\displaystyle A}
分拆为两个非空集合，使得两者其一中所有元素均在
x
{\displaystyle x}
之前、另一真子集中所有元素均在
x
{\displaystyle x}
之后。
Mini wiki
