论文部分内容阅读
作者讨论了偏序集范畴的Cartesian闭性，给出了偏序集范畴的满子范畴具有Carte—sian闭性的充分必要条件．特别地，作者证明了交连续半格（不要求定向完备性）范畴是Car—tesian闭范畴，L—CDCPO范畴是L—POSET范畴的极大Cartesian闭子范畴．
偏序集范畴的Cartesian闭性
【摘 要】
：
作者讨论了偏序集范畴的Cartesian闭性，给出了偏序集范畴的满子范畴具有Carte—sian闭性的充分必要条件．特别地，作者证明了交连续半格（不要求定向完备性）范畴是Car—tesian闭范畴，L
【机 构】
：
四川大学数学学院／长江数学中心
【出 处】
：
四川大学学报：自然科学版
【发表日期】
：
2011年4期
【基金项目】
：
国家自然科学基金（10871113）,教育部新世纪优秀人才支持计划（070576）
其他文献
本文研究单位球上的多重调和Bergman空间bα^2上的k-拟齐次Toeplitz算子的基本性质,得到了该类算子所构成的交换子及半交换子的两个对称性质.此外,本文还得到了bα^2上的两个
本文利用鞍点定理得到了二阶哈密尔顿系统{ü（t）＋？F（t,u（t））=0,？t∈R,{u（0）-u（T）=u（0）-u（T）=0,T〉0在带有混合条件时的周期解的存在性,推广了已有结果.
作者利用有上伴的映射构成的函数空间定义了有界完备dcpo上的强线性FS-domain，并讨论了它和线性FS-格的关系以及它的拓扑、范畴等性质．
首先，我们给出了集序关系意义下集值映射有效解与弱有效解的关系，并通过实例加以验证．其次，借助集值映射的各种导数，我们对集序约束集值优化问题的最优性条件进行了研究，得到了集序
本文讨论了一类流体-固体耦合问题的全离散有限元方法，时间方向的离散，采用向后差分公式和复化左矩形公式来分别近似连续弱形式中关于时间t的一阶导数和积分．文章还给出了全离散
作者定义了Q-复形范畴，它是两类重要的范畴的推广，一类是通常意义下的复形范畴，另一类是重复代数的模范畴；然后证明了在一定条件下Q-复形范畴是Frobenius范畴，从而其稳定范畴是三
通过在经典的投资组合Markowitz均值-方差模型基础上引入资本结构因子和交易成本系数,建立了考虑交易成本和资本结构因子的投资组合最优化模型,给出了最优投资比例公式,讨论