Search results for " set"

Deciding reachability for planar multi-polynomial systems

1996

In this paper we investigate the decidability of the reachability problem for planar non-linear hybrid systems. A planar hybrid system has the property that its state space corresponds to the standard Euclidean plane, which is partitioned into a finite number of (polyhedral) regions. To each of these regions is assigned some vector field which governs the dynamical behaviour of the system within this region. We prove the decidability of point to point and region to region reachability problems for planar hybrid systems for the case when trajectories within the regions can be described by polynomials of arbitrary degree.

Loop-free Gray code algorithm for the e-restricted growth functions

2011

The subject of Gray codes algorithms for the set partitions of {1,2,...,n} had been covered in several works. The first Gray code for that set was introduced by Knuth (1975) [5], later, Ruskey presented a modified version of [email protected]?s algorithm with distance two, Ehrlich (1973) [3] introduced a loop-free algorithm for the set of partitions of {1,2,...,n}, Ruskey and Savage (1994) [9] generalized [email protected]?s results and give two Gray codes for the set of partitions of {1,2,...,n}, and recently, Mansour et al. (2008) [7] gave another Gray code and loop-free generating algorithm for that set by adopting plane tree techniques. In this paper, we introduce the set of e-restricte…

Weak regularity and consecutive topologizations and regularizations of pretopologies

2009

Abstract L. Foged proved that a weakly regular topology on a countable set is regular. In terms of convergence theory, this means that the topological reflection Tξ of a regular pretopology ξ on a countable set is regular. It is proved that this still holds if ξ is a regular σ -compact pretopology. On the other hand, it is proved that for each n ω there is a (regular) pretopology ρ (on a set of cardinality c ) such that ( RT ) k ρ > ( RT ) n ρ for each k n and ( RT ) n ρ is a Hausdorff compact topology, where R is the reflector to regular pretopologies. It is also shown that there exists a regular pretopology of Hausdorff RT -order ⩾ ω 0 . Moreover, all these pretopologies have the property…

Every Quojection is the Quotient of a Countable Product of Banach Spaces

1989

It is proved that every quojection in the sense of Bellenot and Dubinsky [1] is the quotient of a countable product of copies of l 1 (I) for a suitable index set I.

A Uniform Way to Control Chief Series in Finite p -Groups and to Construct the Countable Algebraically Closed Locally Finite p -Groups

1986

The Separable Complementation Property and Mrówka Compacta

2017

We study the separable complementation property for $C(K_{\cal A})$ spaces when $K_{\cal A}$ is the Mr\'owka compact associated to an almost disjoint family ${\cal A}$ of countable sets. In particular we prove that, if ${\cal A}$ is a  generalized ladder system,  then $C(K_{\cal A})$ has the separable complementation property ($SCP$ for short) if and only if it has the controlled version of this property. We also show that, when ${\cal A}$ is  a maximal generalized ladder system, the space $C(K_{\cal A})$ does not enjoy the $SCP$.

Einklassige Geschlechter totalpositiver quadratischer Formen in totalreellen algebraischen Zahlkörpern

1971

Abstract It is proved that totally positive quadratic forms with three or more variables and class number h = 1 exist only in a finite number of algebraic number fields. Each field allows only a finite number of such forms with bounded scale. To prove this, upper estimates for all local factors in Siegel's analytic formula are constructed by calculating explicitly numbers of solutions of quadratic congruences.

Polynomial codimension growth of algebras with involutions and superinvolutions

2017

Abstract Let A be an associative algebra over a field F of characteristic zero endowed with a graded involution or a superinvolution ⁎ and let c n ⁎ ( A ) be its sequence of ⁎-codimensions. In [4] , [12] it was proved that if A is finite dimensional such sequence is polynomially bounded if and only if A generates a variety not containing a finite number of ⁎-algebras: the group algebra of Z 2 and a 4-dimensional subalgebra of the 4 × 4 upper triangular matrices with suitable graded involutions or superinvolutions. In this paper we focus our attention on such algebras since they are the only finite dimensional ⁎-algebras, up to T 2 ⁎ -equivalence, generating varieties of almost polynomial gr…

A weak comparison principle for solutions of very degenerate elliptic equations

2012

We prove a comparison principle for weak solutions of elliptic quasilinear equations in divergence form whose ellipticity constants degenerate at every point where \(\nabla u\in K\), where \(K\subset \mathbb{R }^N\) is a Borel set containing the origin.

A note on projective coordinate systems of modular lattices

1993

This note clarifies the combinatorial nature of projective coordinate systems of modular upper continuous lattices. It generalizes the classical relationship between 3-dimensional Desarguesian configurations and coordinate systems of projective 3-spaces.