Topos中的交連續(xù)偏序?qū)ο?/H1>
發(fā)布時(shí)間:2019-01-26 08:17
【摘要】:基于topos中的偏序?qū)ο?在topos中引入了類似于經(jīng)典格論中的交連續(xù)偏序?qū)ο蟮亩x,給出了交連續(xù)偏序?qū)ο蟮牡葍r(jià)刻畫,將一些格論中熟知的結(jié)論提升到topos中。
[Abstract]:Based on the partial ordered objects in topos, this paper introduces the definition of intersection continuous partial order objects similar to classical lattice theory in topos, gives the equivalent characterization of intersection continuous partial order objects, and promotes some well-known results in lattice theory to topos.
【作者單位】: 淮北師范大學(xué)數(shù)學(xué)科學(xué)學(xué)院;南京大學(xué)數(shù)學(xué)系;
【基金】:國(guó)家自然科學(xué)基金資助項(xiàng)目(11571175) 安徽省高校自然科學(xué)研究重點(diǎn)項(xiàng)目(KJ2015A064)
【分類號(hào)】:O153.1
【參考文獻(xiàn)】
相關(guān)期刊論文 前5條
1 盧濤;王習(xí)娟;賀偉;;Topos中完備偏序?qū)ο笊系乃阕永碚揫J];山東大學(xué)學(xué)報(bào)(理學(xué)版);2016年02期
2 王習(xí)娟;賀偉;;關(guān)于topos中的內(nèi)蘊(yùn)Heyting代數(shù)對(duì)象(英文)[J];數(shù)學(xué)雜志;2011年06期
3 ;Quantum Spaces[J];Acta Mathematica Sinica(English Series);2010年07期
4 ;Galois Connections in A Topos[J];數(shù)學(xué)研究與評(píng)論;2010年03期
5 孟曉青;Topos理論簡(jiǎn)介[J];數(shù)學(xué)進(jìn)展;1992年01期
【共引文獻(xiàn)】
相關(guān)期刊論文 前9條
1 王娣;盧濤;王習(xí)娟;;Topos中的交連續(xù)偏序?qū)ο骩J];模糊系統(tǒng)與數(shù)學(xué);2017年03期
2 劉春輝;;有界Heyting代數(shù)的模糊LI-理想[J];工程數(shù)學(xué)學(xué)報(bào);2016年04期
3 盧濤;王習(xí)娟;賀偉;;Topos中偏序?qū)ο蟮纳?下)確界[J];山東大學(xué)學(xué)報(bào)(理學(xué)版);2016年04期
4 Bin ZHAO;Nana MA;;L-quantum spaces[J];Science China(Information Sciences);2016年03期
5 盧濤;王習(xí)娟;;Topos中的有限對(duì)象[J];模糊系統(tǒng)與數(shù)學(xué);2016年01期
6 盧濤;王習(xí)娟;賀偉;;Topos中完備偏序?qū)ο笊系乃阕永碚揫J];山東大學(xué)學(xué)報(bào)(理學(xué)版);2016年02期
7 張紅;湯建鋼;李國(guó)華;;雙誘導(dǎo)映射■集合范疇的L_b-余等值子和L_b-正則滿態(tài)射(英文)[J];數(shù)學(xué)季刊;2012年02期
8 何敏;湯建鋼;;L集合范疇中的等值子和余等值子[J];伊犁師范學(xué)院學(xué)報(bào)(自然科學(xué)版);2009年03期
9 高百俊;湯建鋼;;L集合范疇的子對(duì)象分類子[J];伊犁師范學(xué)院學(xué)報(bào)(自然科學(xué)版);2009年02期
【二級(jí)參考文獻(xiàn)】
相關(guān)期刊論文 前4條
1 盧濤;王習(xí)娟;賀偉;;Topos中選擇公理的一個(gè)等價(jià)刻畫[J];山東大學(xué)學(xué)報(bào)(理學(xué)版);2015年12期
2 ;Quantum Spaces[J];Acta Mathematica Sinica(English Series);2010年07期
3 王習(xí)娟;賀偉;;完備布爾代數(shù)商格的注(英文)[J];數(shù)學(xué)雜志;2009年02期
4 孟曉青;Topos理論簡(jiǎn)介[J];數(shù)學(xué)進(jìn)展;1992年01期
【相似文獻(xiàn)】
相關(guān)期刊論文 前10條
1 張昆龍,孫一康,蔣慎言;偏序集上的蘊(yùn)涵[J];內(nèi)蒙古大學(xué)學(xué)報(bào)(自然科學(xué)版);2004年04期
2 徐飛;廣義Z-擬連續(xù)偏序集的若干性質(zhì)[J];寶雞文理學(xué)院學(xué)報(bào)(自然科學(xué)版);2005年04期
3 李伯權(quán);;廣義Z-連續(xù)偏序集的幾個(gè)拓?fù)渥⒂?英文)[J];安徽師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2005年04期
4 張春波;徐曉泉;;Z-半連續(xù)偏序集的性質(zhì)[J];江西師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2008年06期
5 張春波;徐曉泉;;Z-連續(xù)偏序集的映射性質(zhì)[J];江西科學(xué);2008年03期
6 龔雅玲;;試論幾類弱連續(xù)偏序集的關(guān)系[J];南昌教育學(xué)院學(xué)報(bào);2010年05期
7 龔雅玲;涂繼,
本文編號(hào):2415296
本文鏈接:http://sikaile.net/kejilunwen/yysx/2415296.html
[Abstract]:Based on the partial ordered objects in topos, this paper introduces the definition of intersection continuous partial order objects similar to classical lattice theory in topos, gives the equivalent characterization of intersection continuous partial order objects, and promotes some well-known results in lattice theory to topos.
【作者單位】: 淮北師范大學(xué)數(shù)學(xué)科學(xué)學(xué)院;南京大學(xué)數(shù)學(xué)系;
【基金】:國(guó)家自然科學(xué)基金資助項(xiàng)目(11571175) 安徽省高校自然科學(xué)研究重點(diǎn)項(xiàng)目(KJ2015A064)
【分類號(hào)】:O153.1
【參考文獻(xiàn)】
相關(guān)期刊論文 前5條
1 盧濤;王習(xí)娟;賀偉;;Topos中完備偏序?qū)ο笊系乃阕永碚揫J];山東大學(xué)學(xué)報(bào)(理學(xué)版);2016年02期
2 王習(xí)娟;賀偉;;關(guān)于topos中的內(nèi)蘊(yùn)Heyting代數(shù)對(duì)象(英文)[J];數(shù)學(xué)雜志;2011年06期
3 ;Quantum Spaces[J];Acta Mathematica Sinica(English Series);2010年07期
4 ;Galois Connections in A Topos[J];數(shù)學(xué)研究與評(píng)論;2010年03期
5 孟曉青;Topos理論簡(jiǎn)介[J];數(shù)學(xué)進(jìn)展;1992年01期
【共引文獻(xiàn)】
相關(guān)期刊論文 前9條
1 王娣;盧濤;王習(xí)娟;;Topos中的交連續(xù)偏序?qū)ο骩J];模糊系統(tǒng)與數(shù)學(xué);2017年03期
2 劉春輝;;有界Heyting代數(shù)的模糊LI-理想[J];工程數(shù)學(xué)學(xué)報(bào);2016年04期
3 盧濤;王習(xí)娟;賀偉;;Topos中偏序?qū)ο蟮纳?下)確界[J];山東大學(xué)學(xué)報(bào)(理學(xué)版);2016年04期
4 Bin ZHAO;Nana MA;;L-quantum spaces[J];Science China(Information Sciences);2016年03期
5 盧濤;王習(xí)娟;;Topos中的有限對(duì)象[J];模糊系統(tǒng)與數(shù)學(xué);2016年01期
6 盧濤;王習(xí)娟;賀偉;;Topos中完備偏序?qū)ο笊系乃阕永碚揫J];山東大學(xué)學(xué)報(bào)(理學(xué)版);2016年02期
7 張紅;湯建鋼;李國(guó)華;;雙誘導(dǎo)映射■集合范疇的L_b-余等值子和L_b-正則滿態(tài)射(英文)[J];數(shù)學(xué)季刊;2012年02期
8 何敏;湯建鋼;;L集合范疇中的等值子和余等值子[J];伊犁師范學(xué)院學(xué)報(bào)(自然科學(xué)版);2009年03期
9 高百俊;湯建鋼;;L集合范疇的子對(duì)象分類子[J];伊犁師范學(xué)院學(xué)報(bào)(自然科學(xué)版);2009年02期
【二級(jí)參考文獻(xiàn)】
相關(guān)期刊論文 前4條
1 盧濤;王習(xí)娟;賀偉;;Topos中選擇公理的一個(gè)等價(jià)刻畫[J];山東大學(xué)學(xué)報(bào)(理學(xué)版);2015年12期
2 ;Quantum Spaces[J];Acta Mathematica Sinica(English Series);2010年07期
3 王習(xí)娟;賀偉;;完備布爾代數(shù)商格的注(英文)[J];數(shù)學(xué)雜志;2009年02期
4 孟曉青;Topos理論簡(jiǎn)介[J];數(shù)學(xué)進(jìn)展;1992年01期
【相似文獻(xiàn)】
相關(guān)期刊論文 前10條
1 張昆龍,孫一康,蔣慎言;偏序集上的蘊(yùn)涵[J];內(nèi)蒙古大學(xué)學(xué)報(bào)(自然科學(xué)版);2004年04期
2 徐飛;廣義Z-擬連續(xù)偏序集的若干性質(zhì)[J];寶雞文理學(xué)院學(xué)報(bào)(自然科學(xué)版);2005年04期
3 李伯權(quán);;廣義Z-連續(xù)偏序集的幾個(gè)拓?fù)渥⒂?英文)[J];安徽師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2005年04期
4 張春波;徐曉泉;;Z-半連續(xù)偏序集的性質(zhì)[J];江西師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2008年06期
5 張春波;徐曉泉;;Z-連續(xù)偏序集的映射性質(zhì)[J];江西科學(xué);2008年03期
6 龔雅玲;;試論幾類弱連續(xù)偏序集的關(guān)系[J];南昌教育學(xué)院學(xué)報(bào);2010年05期
7 龔雅玲;涂繼,
本文編號(hào):2415296
本文鏈接:http://sikaile.net/kejilunwen/yysx/2415296.html