zoukankan      html  css  js  c++  java
  • 陶哲轩实分析习题8.5.6

    设$X$是一个偏序集,对于任何$x\in X$,定义序理想$(x)$为集合

    $$(x):=\{y:y\preceq x\}$$
    设$(X):=\{(x):x\in X\}$是全体序理想的集合.并设$f:X\to (X)$是映射$f(x):=(x)$,它把每个元素映成它的序理想.证明$f$是双射.并且对任给的$x,y$,$x\preceq_X y$当且仅当$f(x)\subset f(y)$.

    证明:先证明$f$是单射.即证$m\neq n$时,$\{x:x\preceq m\}\neq \{x:x\preceq n\}$.因为假若相等则$m\in\{x:x\preceq n\}$.则$m\prec n$.则$n\not\in \{x:x\preceq m\}$,与假设$\{x:x\preceq m\}=\{x:x\preceq n\}$矛盾.

    再证明$f$是满射.这是很容易的,对于任意$\{x:x\preceq m\}$来说,可以用$m$对应它.

    下面证明第二点.$x\preceq _X y$时,显然$\{m:m\preceq x\}\subset\{m:m\preceq y\}$.当$\{m:m\preceq x\}\subset\{m:m\preceq y\}$时,因为$x\in\{m:m\preceq x\}$,所以$x\in\{m:m\preceq y\}$,即$x\preceq y$.$\Box$

  • 相关阅读:
    [VirtaulBox]网络连接设置
    LeetCode
    LeetCode
    LeetCode
    LeetCode-37.Sudok Solver
    LeetCode-36.Valid Sudoku
    LeetCode-52.N-Queen II
    LeetCode-51.N-Queens
    LeetCode-22.Generate Parentheses
    LeetCode-111.Mininum Depth of Binary Tree
  • 原文地址:https://www.cnblogs.com/yeluqing/p/3827527.html
Copyright © 2011-2022 走看看