共查询到20条相似文献,搜索用时 296 毫秒
1.
In this paper we show that, given a complete lattice
, the following three
lattices are the same: (1) the lattice of closure relations on
, (2) the lattice of meet-closed subsets of
, and (3) the lattice of complete join congruence relations on
. 相似文献
2.
Cancellative residuated lattices are natural generalizations of lattice-ordered
groups (
-groups).
Although cancellative monoids are defined by quasi-equations, the class
of cancellative residuated lattices is a variety.
We prove that there are only two
commutative subvarieties of
that cover the trivial variety, namely the varieties
generated by the integers and the negative integers (with zero). We also construct examples
showing that in contrast to
-groups, the lattice reducts of cancellative residuated lattices
need not be distributive. In fact we prove that every lattice can be embedded in the
lattice reduct of a cancellative residuated lattice. Moreover, we show that there exists an
order-preserving injection of the lattice of all lattice varieties into the subvariety lattice of
.We define generalized MV-algebras and generalized BL-algebras and prove that the
cancellative integral members of these varieties are precisely the negative cones of
-groups, hence the latter form a variety, denoted by
. Furthermore we prove that the map that sends a subvariety of
-groups to the corresponding class of negative cones is a lattice
isomorphism from the lattice of subvarieties of
to the lattice of subvarieties of
.
Finally, we show how to translate equational bases between corresponding subvarieties, and
briefly discuss these results in the context of R. McKenzies characterization of categorically
equivalent varieties. 相似文献
3.
Mark Pankov 《Journal of Geometry》2004,79(1-2):169-176
Let
be a finite-dimensional projective space
and
be the Grassmannian consisting of
all k-dimensional subspaces of
. In the paper we show that
transformations of
sending base subsets
to base subsets are induced by collineations of
to itself or to the dual projective space
.
This statement generalizes the main result of the authors paper [19]. 相似文献
4.
The probability that m randomly chosen elements
of a finite power associative loop
have prescribed orders and generate
is calculated in terms of certain constants
related to the action of Aut(
) on the subloop lattice of
. As an illustration, all meaningful
probabilities of random generation by elements of given orders are found for the smallest
nonassociative simple Moufang loop. 相似文献
5.
We compare the two recently introduced semidirect product operations
*r and
*rr within the lattice of e-varieties of locally inverse
semigroups. For each e-variety
which
contains all rectangular bands and is properly contained in the e-variety of all completely
simple semigroups, the inclusions
are proved where
is the e-variety of all semilattices and
the variety of all abelian
groups of exponent dividing q where q is any
integer greater than one. Some consequences for the class of finite locally inverse semigroups are also obtained. 相似文献
6.
7.
Marilyn Breen 《Aequationes Mathematicae》2004,67(3):263-275
Summary.
We establish the following Helly-type result for infinite families
of starshaped sets in
Define the function f on
{1, 2} by
f(1) = 4,
f(2) = 3.
Let
be a fixed positive number, and let
be a uniformly bounded family of compact sets
in the plane. For k = 1, 2, if every
f(k)
(not necessarily distinct) members of
intersect in a starshaped set whose
kernel contains a k-dimensional
neighborhood of radius
, then
is a starshaped set whose kernel is at least
k-dimensional.
The number f(k) is best in each case.
In addition, we present a few results concerning the dimension of
the kernel in an intersection of starshaped sets in
Some of these involve finite families of sets, while others
involve infinite families and make use of the Hausdorff metric. 相似文献
8.
Summary.
Let
We say that
preserves the distance d 0 if
for each
implies
Let A
n
denote the set of all positive numbers
d such that any map
that preserves unit distance preserves also distance
d.
Let D
n
denote the set of all positive numbers
d with the property: if
and
then there exists a finite set
S
xy
with
such that any map
that preserves unit distance preserves also the distance between
x and y.
Obviously,
We prove:
(1)
(2)
for n 2
D
n
is a
dense subset of
(2) implies that each mapping
f
from
to
(n 2)
preserving unit distance preserves all distances,
if f is continuous with respect to the product topologies
on
and
相似文献
9.
Let
be a family of holomorphic functions in the unit disk
,
which are also holomorphic in a parameter
. We express
cyclicity (=generalized multiplicity) of a zero of
at
via
some algebraic characteristics of the ideal generated by the Taylor
coefficients of
. As an example we estimate the cyclicity of the
family of generalized exponential polynomials. 相似文献
10.
Let
be a C*-algebra and X a Hilbert C*
-module. If
is a projection, let
be the p-sphere of X. For φ a state of
with support p in
and
consider the modular vector state φx of
given by
The spheres
provide fibrations
and
These fibrations enable us to examine the homotopy type of the sets of modular vector states, and relate it to the homotopy type of unitary groups and spaces of projections. We regard modular vector states as generalizations of pure states to the context of Hilbert C*-modules, and the above fibrations as generalizations of the projective fibration of a Hilbert space. 相似文献
12.
Let
be a C*-algebra. We obtain some conditions that are equivalent to the statement that every n-positive elementary operator on
is completely positive. 相似文献
13.
Let
be the set of all coloured permutations on the symbols 1, 2, . . . , n
with colours 1, 2, . . . , r, which is the analogous of the
symmetric group when r = 1, and the hyperoctahedral
group when r = 2. Let
be a subset of d colours; we define
to be the set of all coloured permutations
.
We prove that the number of
-avoiding coloured permutations in
.
We then prove that for any
,
the number of coloured permutations in
which avoid all patterns in
except for and contain exactly once equals
.
Finally, for any
,
this number equals
.
These results generalize recent results due to Mansour, Mansour and West, and Simion.AMS Subject Classification: 05A05, 05A15. 相似文献
14.
Let X be a rearrangement-invariant Banach function space
over a complete probability space
, and denote by
the Hardy space consisting of all martingales
such that
. We prove that
implies
for any filtration
if and only if Doobs inequality holds in
X, where
denotes the martingale defined by
, n = 0, 1, 2, ..., and
a.s.Received: 1 August 2000 相似文献
15.
To every egglike inversive plane
there is associated a family
of involutions of the point set of
such that
circles of
are the fixed point sets of the involutions in
. Korchmaros and Olanda characterized a family
of involutions on a set of size n2 + 1to be
for
an egglike inversive plane of order n by four conditions. In this
paper, we give an alternative proof where the Galois space PG(3,n) in
which
is embedded is built up directly by using concepts and
results on finite linear spaces. 相似文献
16.
We prove that any variety
in which every factor congruence is compact has
Boolean factor congruences, i.e., for all A in
the set of factor congruences of A is a distributive sublattice of the congruence lattice
of A. 相似文献
17.
Sierpiski proved that every countable set of mappings on an infinite set
X is
contained in a 2-generated subsemigroup of the semigroup of all mappings on
X. In this
paper we prove that every countable set of endomorphisms of an algebra
which has an infinite basis (independent generating set) is contained in a 2-generated subsemigroup
of the semigroup of all endomorphisms of
. 相似文献
18.
We investigate the ideal structure of the Toeplitz algebra
of a totally ordered abelian group
. We show that the primitive ideals of
are parametrised by the disjoint union
of the duals
of the order ideals
of
, and identify the
hull-kernel topology on
when the chain of orderideals in
is isomorphic to a subset of
相似文献
19.
Juraj Činčura 《Applied Categorical Structures》1998,6(4):527-530
Let
be an epireflective subcategory of the category Top of topological spaces which is not contained in the category of indiscrete spaces (e.g. Top, the category of Hausdorff spaces, the category of Tychonoff spaces) and
be a coreflective subcategory of
. In this paper we prove that the coreflector
preserves regular epimorphisms if and only if
or
is contained in the category of discrete spaces. 相似文献
20.
It is well known that (i) for every irrational number the Kronecker
sequence m (m = 1,...,M) is equidistributed modulo one in the
limit
, and (ii) closed horocycles of length
become equidistributed
in the unit tangent bundle
of a hyperbolic surface
of finite area, as
. In the present paper both equidistribution
problems are studied simultaneously: we prove that for any constant
the Kronecker sequence embedded in
along a long closed
horocycle becomes equidistributed in
for almost all , provided
that
. This equidistribution result holds in fact under
explicit diophantine conditions on (e.g. for = 2) provided that
,
with additional assumptions on the Fourier coefficients
of certain automorphic forms. Finally, we show that for
, our
equidistribution theorem implies a recent result of Rudnick and Sarnak
on the uniformity of the pair correlation density of the sequence
n2 modulo one. 相似文献