Two Fraenkel-Mostowski models are constructed in which the Boolean Prime Ideal Theorem is true. In both models, AC for countable sets is true, but AC for sets of cardinality 2 and the 2m = m principle are both false. The Principle of Dependent Choices is true in the first model, but false in the second. Mathematics Subject Classification: 03E25, 03E35, 04A25. 相似文献
LetX be a Brownian motion defined on the line (withX(0)=0) and letY be an independent Brownian motion defined on the nonnegative real numbers. For allt0, we define theiterated Brownian motion (IBM),Z, by setting
. In this paper we determine the exact uniform modulus of continuity of the process Z.Research supported by NSF grant DMS-9122242. 相似文献
A (right -) module is said to be a Whitehead test module for projectivity (shortly: a p-test module) provided for each module , implies is projective. Dually, i-test modules are defined. For example, is a p-test abelian group iff each Whitehead group is free. Our first main result says that if is a right hereditary non-right perfect ring, then the existence of p-test modules is independent of ZFC + GCH. On the other hand, for any ring , there is a proper class of i-test modules. Dually, there is a proper class of p-test modules over any right perfect ring.
A non-semisimple ring is said to be fully saturated (-saturated) provided that all non-projective (-generated non-projective) modules are i-test. We show that classification of saturated rings can be reduced to the indecomposable ones. Indecomposable 1-saturated rings fall into two classes: type I, where all simple modules are isomorphic, and type II, the others. Our second main result gives a complete characterization of rings of type II as certain generalized upper triangular matrix rings, . The four parameters involved here are skew-fields and , and natural numbers . For rings of type I, we have several partial results: e.g. using a generalization of Bongartz Lemma, we show that it is consistent that each fully saturated ring of type I is a full matrix ring over a local quasi-Frobenius ring. In several recent papers, our results have been applied to Tilting Theory and to the Theory of -modules.
We continue the investigation of validity of Hall's theorem in the case of the Loeb space of an internal, uniformly distributed, hyperfinite measure space initiated in1992 by the author. Some new classes of graphs are introduced for which the measure theoretic version of Hall's theorem still holds.
The class of prox-regular functions covers all l.s.c., proper, convex functions, lower- functions and strongly amenable functions, hence a large core of functions of interest in variational analysis and optimization. The subgradient mappings associated with prox-regular functions have unusually rich properties, which are brought to light here through the study of the associated Moreau envelope functions and proximal mappings. Connections are made between second-order epi-derivatives of the functions and proto-derivatives of their subdifferentials. Conditions are identified under which the Moreau envelope functions are convex or strongly convex, even if the given functions are not.
Let (X,l,) be a measure space, letW be a cylindrical Hilbert-Wiener process, and let be an anticipating integrable process-valued function onX. We prove, under natural assumptions on, that there exists a measurable version Yx,xX, of the anticipating integral of(x) such that the integral x Yx(dx) is a version of the anticipating integral of X
(x)(dx). We apply this anticipating Fubini theorem to study solutions of a class of stochastic evolution equations in Hilbert space. 相似文献
The extended Koopmans’ theorem is related to Fukui function, which measures the change in electron density that accompanies
electron attachment and removal. Two approaches are used, one based on the extended Koopmans’ theorem differential equation
and the other based directly on the expression of the ionized wave function from the extended Koopmans’ theorem. It is observed
that the Fukui function for electron removal can be modeled as the square of the first Dyson orbital, plus corrections. The
possibility of useful generalizations to the extended Koopmans’ theorem is considered; some of these extensions give approximations,
or even exact expressions, for the Fukui function for electron attachment. 相似文献
The present article is the first part of a series devoted to extending the Repeat Space Theory (RST) to apply to carbon nanotubes
and related molecular networks. Four key problems are formulated whose affirmative solutions imply the formation of the initial
investigative bridge between the research field of nanotubes and that of the additivity and other network problems studied
and solved by using the RST. All of these four problems are solved affirmatively by using tools from the RST. The Piecewise
Monotone Lemmas (PMLs) are cornerstones of the proof of the Fukui conjecture concerning the additivity problems of hydrocarbons.
The solution of the fourth problem gives a generalized analytical formula of the pi-electron energy band curves of nanotube
(a, b), with two new complex parameters c and d. These two parameters bring forth a broad class of analytic curves to which the PMLs and associated theoretical devices apply.
Based on the above affirmative solutions of the problems, a central theorem in the RST, called the asymptotic linearity theorem
(ALT) has been applied to nanotubes and monocyclic polyenes. Analytical formulae derived in this application of the ALT illuminate
in a new global context (i) the conductivity of nanotubes and (ii) the aromaticity of monocyclic polyenes; moreover an analytical
formula obtained by using the ALT provides a fresh insight into Hückel’s (4n+2) rule. The present article forms a foundation of the forthcoming articles in this series.
The present series of articles is closely associated with the series of articles entitled ‘Proof of the Fukui conjecture via
resolution of singularities and related methods’ published in the JOMC. 相似文献
An essential element of implicit solvent models, such as the generalized Born method, is a knowledge of the volume associated with the individual atoms of the solute. Two approaches for determining atomic volumes for the generalized Born model are described; one is based on Voronoi polyhedra and the other, on minimizing the fluctuations in the overall volume of the solute. Volumes to be used with various parameter sets for protein and nucleic acids in the CHARMM force field are determined from a large set of known structures. The volumes resulting from the two different approaches are compared with respect to various parameters, including the size and solvent accessibility of the structures from which they are determined. The question of whether to include hydrogens in the atomic representation of the solute volume is examined. Copyright 2001 John Wiley & Sons, Inc. J Comput Chem 22: 1857-1879, 2001 相似文献