共查询到20条相似文献,搜索用时 15 毫秒
1.
Evgeni Ja. Gabovič 《Semigroup Forum》1972,4(1):335-340
A semigroup S is calledE-semigroup (
-semigroup) if every (finitely generated) subsemigroup of S is an endomorphic image of S and Ē-semigroup (
-semigroup) if every subsemigroup of S is an E-semigroup
-semigroup. All classes X ε {Ē,
, E,
} are distinct even in the case of semilattices. It is established when a free band (semilattice) is an X-semigroup.
-,
- and Ē-chains and E-chains with identity or zero, Ē-and
, X-bands with identity and X-semigroups with identity and zero are found. 相似文献
2.
K. R. Apt 《Israel Journal of Mathematics》1978,29(2-3):221-238
The connections between inductive definability and models of comprehension are studied. Let
= 〈A, R
l, ...,R
n 〉 be an infinite structure and letI
φ
be a set inductively defined by a formulaφ of the second order language
. We prove that if
is a model of Δ
1
1
-Comprehension relativized toφ, andφ is
-absolute, then for everyη smaller than the height of
(h(
)),I
φ
is in
. If
is aβ-structure which satisfies Σ
1
1
-Comprehension relativized toφ and WF(X), and φ is
-absolute, thenI
φ
is in
and ‖φ| <h (
). These results imply that Barwise-Grilliot theorem is false in the case of uncountable acceptable structures. We also study
the notion of invariant definability over models1 of Δ
1
1
-Comprehension.
This paper is registered as Report ZW 69/76 of the Mathematical Centre. 相似文献
3.
Satoru Fujishige 《Mathematical Programming》1984,29(2):125-141
The present paper shows that for any submodular functionf on a crossing family
with
, if the polyhedron
is nonempty, then there exist a unique distributive lattice
with
and a unique submodular function
with
such thatB(f) coincides with the base polyhedron
associated with the submodular system
. Here, iff is integer-valued, thenf
1 is also integer-valued.
Based on this fact, we also show the relationship between the independent-flow problem considered by the author and the minimum
cost flow problem considered by J. Edmonds and R. Giles. 相似文献
4.
For an arbitrary uniformly continuous completely positive semigroup (
t
:t0) on the space of bounded operators on a Hilbert space, we construct a family (U(t)t0) of unitary operators on a Hilbert space and a conditional expectation from to, such that, for arbitraryt0,. The unitary operatorsU(t) satisfy a stochastic differential equation involving a noncommutative generalisation of infinite dimensional Brownian motion. They do not form a semigroup.Part of this work was completed when the first author was visiting research associate at the Center for Relativity, Physics Department, The University of Texas at Austin, Austin, TX 78712, U.S.A., supported in part by NSF PHY 81-01381. 相似文献
5.
The automorphism group of the C* -algebra generated by the Toeplitz operatos with symbols being continuous functions on the bicircle is characterized completely.
The investigation is based on the analysis of the behaviour of an automorphism of the Toeplitz algebra on itsC* -ideal chains, and the state of the closed ideals in
. 相似文献
6.
Geoffrey S. Watson 《Annals of the Institute of Statistical Mathematics》1983,35(1):303-319
Summary A distribution on the unit sphere inℝ
q
with a densityf(‖x
v
‖) is considered where
is ans(<q) dimensional subspace andx
v
is the part ofx in
. For a large sample the estimation of
, a test that
and a test for rotational symmetry within
is given. For several samples with possibly different subspaces
but the samef, a test that
is given. For all tests power functions for contiguous alternatives are given. For the special density proportional to expk‖x
v
‖
2, additional results are given.
Research supported in part by a Contract with the Office of Naval Research N00014-81-K-0146 awarded to Princeton University,
Princeton, New Jersey 08544. 相似文献
7.
It
and
are two families of pairwise disjoint simple closed curves in the plane such that each curve in
intersects each curve in
, then the total number of points of intersection in
is at least 2(m−1)n, where
, and this bound is best possible. We use this to show that the cartesian product of two 5-cycles has crossing number 15. 相似文献
8.
Dionisio Gallarati 《Annali di Matematica Pura ed Applicata》1957,43(1):195-214
Sunto Si dànno delle condizioni necessarie affinchè due superficie algebriche F, G d’una V
3
algebrica non singolare possano presentare contatto d’ordine assegnato q −1 lungo una curva
priva di punti multipli. Si approfondisce sopratuito il caso q=3, con applicazione al problema di determinare le superficie algebriche Gn di S
3
che presentano contatto del 3o ordine lungo una
n con una superficie quartica F
4
. 相似文献
9.
We prove a Schwarz lemma for a domain
in ℂ3 that arises in connection with a problem in H∞ control theory. We describe a class of automorphisms of
and determine the distinguished boundary of
We apply our Schwarz lemma to a special case of the μ-synthesis problem. 相似文献
10.
Gil Kalai 《Israel Journal of Mathematics》1983,45(4):337-351
Let
(n, k) be the class of all simplicial complexesC over a fixed set ofn vertices (2≦k≦n) such that: (1)C has a complete (k−1)-skeleton, (2)C has precisely (
k
n−1
)k-faces, (3)H
k
(C)=0. We prove that for
,H
k−1(C) is a finite group, and our main result is:
. This formula extends to high dimensions Cayley’s formula for the number of trees onn labelled vertices. Its proof is based on a generalization of the matrix tree theorem. 相似文献
11.
吴畏 《中国科学A辑(英文版)》2001,44(1):67-73
We discuss the Krein-Milman-type problems in the C* -convexity theory for the generalized state space
of C*-algebraA. The main results are that every BW-compact, C*-convex subset of
possesses a C*-extreme point and every BW-compact, C* -convex subset of
is the C*-convex hull of its C*-extreme points. 相似文献
12.
E. Steingrímsson 《Discrete and Computational Geometry》1994,12(1):465-479
The 2-weak vertex-packing polytope of a loopless graphG withd vertices is the subset of the unitd-cube satisfyingx
i
+x
j
≤1 for every edge (i,j) ofG. The dilation by 2 of this polytope is a polytope
with integral vertices. We triangulate
with lattice simplices of minimal volume and label the maximal simplices with elements of the hyperoctahedral groupB
d
. This labeling gives rise to a shelling of the triangulation
of
, where theh-vector of
(and the Ehrharth
*-vector of
can be computed as a descent statistic on a subset ofB
d
defined in terms ofG. A recursive way of computing theh-vector of
is also given, and a recursive formula for the volume of
.
This work was partially supported by grants from the Icelandic Council of Science and the Royal Swedish Academy of Sciences,
respectively. 相似文献
13.
With “hat” denoting the Banach envelope (of a quasi-Banach space) we prove that
if 0<p<1, 0<q<1, ℝ, while
if 0<p<1, 1≤q<+∞, ∝, and
if 1≤p<+∞, 0<q<1, ℝ.
Applications to questions regarding the global interior regularity of solutions to Poisson type problems for the three-dimensional
Lamé system in Lipschitz domains are presented. 相似文献
14.
Let
be a family of two-valued functions defined on ann-element set in which each pair of functions in
satisfy a given intersection condition. For certain intersection conditions we determine the maximal value of
. 相似文献
15.
Z. A. Arushanyan 《Journal of Mathematical Sciences》1981,16(3):1161-1167
One finds conditions which ensure the possibility of weighted mean-square approximation of a vector-function defined on the
boundary of an n-dimensional domain
by vector-functions of the form
, where u is, the solution of the equation Δm
u=0 in
while∂/∂v denotes differentiation along the normal. The weight function is continuous and positive everywhere on
with the point
whose relative neighborhood
is contained in some (n-1)-dimensional plane. The solution of this approximation problem is closely related with a certain
uniqueness theorem for the solution of the Cauchy problem for the polyharmonic equation, also proved in the paper.
Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Institute im. V. A. Steklova AN SSSR,
Vol. 65, pp. 164–171, 1976. 相似文献
16.
H. Schwerdtfeger 《Annali di Matematica Pura ed Applicata》1961,54(1):23-31
Summary It is shown that the group of all Moebius transformations (M. T.) contains a subgroup
such that every non-involutory M. T. not in
can be transformed into each of its conjugates outside the subgroup
by a unique element of this subgroup. Hence every non-integral and non-involutory M. T. can be reduced into a normal form
by means of a unique element of
. Also a subgroup
*, can be determined such that elements of
* reduce all non-involutory M. T. not in
*, into their classical (integral) normal forms. There is also a discussion of the question as to other fields over which
the results remain valid.
To Enrico Bompiani on his scientific Jubilee. 相似文献
17.
V. V. Peller 《Journal of Mathematical Sciences》1985,31(1):2709-2712
In this paper there is given a sufficient condition for a Hankel matrix F to belong to the space of Schur multipliers of all bounded operators in
2 (or, what is the same, to the tensor algebra V2). It is shown that ifw is a nonnegative function on T, such that is a sequence of integers, {Fi}j1 is a sequence of polynomials,) and, then FV2. It follows from this that under these conditions F is a multiplier of the space H1, i.e.,.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 135, pp. 113–119, 1984 相似文献
18.
Automatic groups were introduced in connection with geometric problems, in particular with the study of fundamental groups
of 3-manifolds. In this article the class of automatic groups is extended to include the fundamental group of every compact
3-manifold which satisfies Thurston's geometrization conjecture. Toward this end, the class
of asynchronously
groups is introduced and studied, where
is an arbitrary full abstract family of languages. For example
may be the family of regular languagesReg, context-free languagesCF, or indexed languagesInd. The class
consists of precisely those groups which are asynchronously automatic. It is proved that
contains all of the above fundamental groups, but that
does not. Indeed a virtually nilpotent group belongs to
if and only if it is virtually abelian.
The first author was partially supported by NSF grant DMS-9203500 and FNRS (Suisse). He also wishes to thank the University
of Geneva for its hospitality while this paper was being written. The second author thanks the Institute for Advanced Study
for its hospitality while this paper was being written. 相似文献
19.
Giulio Tedeschi 《Annali dell'Universita di Ferrara》1978,24(1):167-173
Riassunto Sia
una proprietà degli anelli discende per fedele piattezza, ascende quando le fibre sono buone, di carattere locale e per cui
vale il criterio di Nagata. SeS è un dominio graduato noetheriano valgono alcune implicazioni per l'apertura del
in SpecS, ProjS e altri schemi collegati adS.
Summary Let be a property meaningful for rings which descends by faithful flatness, ascends when there are good fibers, with local character and for which Nagata's criterion holds. IfS is any graded noetherian domain some implications hold for the openness of the in SpecS, ProjS and other schemes related toS.相似文献
20.
Summary A state-constrained, nonlinear, minimum problem is considered with dynamics depending sublinearly on a control which is not
bounded in theL
1 norm. Because of the lack of coercivity, the value map
fails to be continuous, even in the unconstrained case. However, we prove that under suitable assumptions—which guarantee
the continuity of the value maps of the problems withL
1-bounded controls—the value map
is upper semicontinuous and solves a Bellman equation with a continuous Hamiltonian. Moreover, the map
obtained by
by replacing its values at the horizon t=T with the values of the cost function turns out to be the maximal subsolution of
the corresponding value problem.
Entrata in Redazione il 31 dicembre 1997. 相似文献