math_basic

空间 §

• 实数
• 旋转群/特殊正交群(3)/SO(3)/special orthogonal group/3D rotation group
  • 所有环绕着三维欧几里得空间的原点的旋转，所组成的群

矩阵 §

博弈论 §

形式化方法 §

未分类 §

• ：上确界；：下确界

  • ：集合的下确界。即小于或等于的所有其他元素的最大元素， 这个数不一定在集合中。 E.g.：
  • ：集合的上确界。即大于或等于的所有其他元素的最小元素， 这个数不一定在集合中。 E.g.:

• Compact set: 不仅是闭集还是有界的，则该集合被称作紧集

  • 区间不是紧集，下无界。 区间 不是紧集，因为它不是闭集。 区间是紧集，因为它既是闭集又有界。

• Convex set:

  • 中的任何两点之间的直线段都属于

• Lipschitz: wiki

• ，求差集，即从集合A中去掉集合B，e.g.: ，，则

• Double turnstile wiki满足符，如果左侧命题集合中每一个均为true，则右边一定为true