有界格[tex=0.714x1.0]ravtxd2oof9d0U26ZFAIhw==[/tex]的元素[tex=0.571x0.786]c59+3vo0/Vn/FvNRhDRu5g==[/tex]关于上界1和下界0的补元是元素[tex=0.429x1.0]JThLUuJ8WswSAPiYZWihWg==[/tex]，使得[tex=3.357x1.0]nzrZDlf76i87GfhjnU2xWA==[/tex]和[tex=3.357x1.0]vA8UC/agDYh7DowU5dA53A==[/tex]。如果一个格的每个元素都有补元，那么这个格称为有补格。证明：格[tex=4.214x1.357]EgBtdjVcADNRXv2SCfCWwCVa9dVW5bDDIrZwy1KVBss=[/tex]是有补格，其中[tex=2.071x1.357]nZpRrk3SrXqHzgSwvQNkBw==[/tex]是有穷集[tex=0.643x1.0]fYkALuFzYlFm0R716i1EGA==[/tex]的幂集。
举一反三
- 由非空集合X的所有子集构成的集合称为X的幂集，记作[tex=1.143x1.214]6fgP1j+0v37iZFMJocAU+g==[/tex].（1）设X={a,b,c}，求[tex=1.143x1.214]6fgP1j+0v37iZFMJocAU+g==[/tex].（2）设X是由n个元素组成的有限集，证明[tex=1.143x1.214]6fgP1j+0v37iZFMJocAU+g==[/tex]中含有[tex=1.0x1.0]j//x0/Z+ltpf5R8ThFOpMA==[/tex]个元素.
- 设[tex=0.571x0.786]c59+3vo0/Vn/FvNRhDRu5g==[/tex]和[tex=0.429x1.0]JThLUuJ8WswSAPiYZWihWg==[/tex]是人，[tex=0.643x1.0]fYkALuFzYlFm0R716i1EGA==[/tex]是全世界所有人构成的集合，[tex=4.214x1.357]aYmvYybBxWxg0+7/ydOlVw==[/tex]。请问[tex=2.643x1.357]SIoYay3a5WDNlRaQ3ZJ11Q==[/tex]是否为偏序集，如果[tex=0.571x0.786]c59+3vo0/Vn/FvNRhDRu5g==[/tex]不比[tex=0.429x1.0]JThLUuJ8WswSAPiYZWihWg==[/tex]高
- 计算下述[tex=1.143x1.0]oTcZ8bPOd5+p8E1UHN7wXA==[/tex]阶行列式（主对角线上元素都是[tex=0.571x0.786]c59+3vo0/Vn/FvNRhDRu5g==[/tex]，反对角线上元素都是[tex=0.429x1.0]JThLUuJ8WswSAPiYZWihWg==[/tex]，空缺处的元素为0）：[tex=14.357x7.214]BafYOyQLkfv749f2fydiSmuFaORJrmT8ZJIXGdw44f1aEpC52UG/9KaK/rVnUNciUh3QoBqaPPxfmlIg/phge+h4iq0ABGDReZk1AL0sZKzKnThLESNQm78N48nK4v5O+GmV/flx/lbKKFGOzBOQhYxNt+leiRpulVjqMeOFBfnI0RXZdSR7MVvsUvgTHcf+ugGSltGkhpnoxUoJeFlxsZdoHZzCrpQrZ4mwb1kz/X/Fqe167F6aEL+T1v5e+y8WvVKhcL8g9UtTTbtwM8lNug==[/tex]
- 设[tex=0.571x0.786]c59+3vo0/Vn/FvNRhDRu5g==[/tex]和[tex=0.429x1.0]JThLUuJ8WswSAPiYZWihWg==[/tex]是人，[tex=0.643x1.0]fYkALuFzYlFm0R716i1EGA==[/tex]是全世界所有人构成的集合，[tex=4.214x1.357]aYmvYybBxWxg0+7/ydOlVw==[/tex]。请问[tex=2.643x1.357]SIoYay3a5WDNlRaQ3ZJ11Q==[/tex]是否为偏序集，如果[tex=0.571x0.786]c59+3vo0/Vn/FvNRhDRu5g==[/tex]比[tex=0.429x1.0]JThLUuJ8WswSAPiYZWihWg==[/tex]的个子高
- 证明:在有界格中[tex=0.5x1.0]Sc0he7miKB3YF9rgXf2dDw==[/tex]是[tex=0.5x1.0]oYgVDn+QZqcDCRxqEZwM2A==[/tex]的唯一补元，[tex=0.5x1.0]oYgVDn+QZqcDCRxqEZwM2A==[/tex]是[tex=0.5x1.0]Sc0he7miKB3YF9rgXf2dDw==[/tex]的唯一补元。