TL;DR: In this paper, it was shown that the rational orthogonal group O(n;ℚ) of the unit sphere has a dense set of points with rational coordinates.
Abstract: It is known that the unit sphere, centered at the origin in ℝ
n
, has a dense set of points with rational coordinates. We give an elementary proof of this fact that includes explicit bounds on the complexity of the coordinates: for every point ν on the unit sphere in ℝ
n
, and every ν > 0; there is a point r = (r
1; r
2;…;r
n) such that:
One consequence of this result is a relatively simple and quantitative proof of the fact that the rational orthogonal group O(n;ℚ) is dense in O(n;ℝ) with the topology induced by Frobenius’ matrix norm. Unitary matrices in U(n;ℂ) can likewise be approximated by matrices in U(n;ℚ(i))
TL;DR: In this article, it was shown that if λ ∈ ℂ / {0} and T: A → B is a surjective map, not assumed to be linear, satisfying γ = λ / |λ|, then T is an ℝ-linear isometry and there exist an idempotent e ∈ B, a function κ ∈ A, with κ2 = 1, and an isometric algebra isomorphism such that T(f) = \kappa \left( {\tilde t(f
Abstract: In recent years much work has been done analyzing maps, not assumed to be linear, between uniform algebras that preserve the norm, spectrum, or subsets of the spectra of algebra elements, and it is shown that such maps must be linear and/or multiplicative. Letting A and B be uniform algebras on compact Hausdorff spaces X and Y, respectively, it is shown here that if λ ∈ ℂ / {0} and T: A → B is a surjective map, not assumed to be linear, satisfying
$$ \left\| {T(f)T(g) + \lambda } \right\| = \left\| {fg + \lambda } \right\|\forall f,g \in A, $$
then T is an ℝ-linear isometry and there exist an idempotent e ∈ B, a function κ ∈ B with κ2 = 1, and an isometric algebra isomorphism \( \tilde T:{\rm A} \to Be \oplus \bar B(1 - e) \) such that
$$ T(f) = \kappa \left( {\tilde T(f)e + \gamma \overline {\tilde T(f)} (1 - e)} \right) $$
for all f ∈ A, where γ = λ / |λ|. Moreover, if T is unital, i.e. T(1) = 1, then T(i) = i implies that T is an isometric algebra isomorphism whereas T(i) = −i implies that T is a conjugate-isomorphism.
TL;DR: In this article, the Lagrange mean value theorem, Riccati differential inequality and Sturm comparison theorem were used to derive sufficient conditions for the linear delay differential equation to be oscillatory.
Abstract: The aim of this paper is to derive sufficient conditions for the linear delay differential equation (r(t)y′(t))′ + p(t)y(τ(t)) = 0 to be oscillatory by using a generalization of the Lagrange mean-value theorem, the Riccati differential inequality and the Sturm comparison theorem.
TL;DR: In this paper, it was shown that a topological group or a convex set in a linear metric space is homeomorphic to an infinite-dimensional Hilbert space if and only if X is a completely metrizable absolute neighborhood with ω-LFAP, the countable locally finite approximation property.
Abstract: Let X be a topological group or a convex set in a linear metric space. We prove that X is homeomorphic to (a manifold modeled on) an infinite-dimensional Hilbert space if and only if X is a completely metrizable absolute (neighborhood) retract with ω-LFAP, the countable locally finite approximation property. The latter means that for any open cover $$
\mathcal{U}
$$
of X there is a sequence of maps (f
n
: X → X)
negw
such that each f
n
is $$
\mathcal{U}
$$
-near to the identity map of X and the family {f
n
(X)}
n∈ω
is locally finite in X. Also we show that a metrizable space X of density dens(X) < $$
\mathfrak{d}
$$
is a Hilbert manifold if X has gw-LFAP and each closed subset A ⊂ X of density dens(A) < dens(X) is a Z
∞-set in X.
TL;DR: In this paper, the convergence and Voronovskaja-type theorems for first derivatives of generalized Baskakov operators for functions of one and two variables in exponential and polynomial weight spaces were established.
Abstract: In the present paper our aim is to establish convergence and Voronovskaja-type theorems for first derivatives of generalized Baskakov operators for functions of one and two variables in exponential and polynomial weight spaces.
TL;DR: In this article, the authors derived necessary and sufficient conditions for the existence of kernels by monochromatic paths in the corona of digraphs and proved the main result of this paper.
Abstract: In this paper we derive necessary and sufficient conditions for the existence of kernels by monochromatic paths in the corona of digraphs. Using these results, we are able to prove the main result of this paper which provides necessary and sufficient conditions for the corona of digraphs to be monochromatic kernel-perfect. Moreover we calculate the total numbers of kernels by monochromatic paths, independent by monochromatic paths sets and dominating by monochromatic paths sets in this digraphs product.
TL;DR: In this paper, the exact scaling coefficients of coiflets up to length 8 and two further with length 12 were obtained, which can be transformed into a polynomial of degree 4 for which there is an algebraic formula to solve them.
Abstract: In 1989, R. Coifman suggested the design of orthonormal wavelet systems with vanishing moments for both scaling and wavelet functions. They were first constructed by I. Daubechies [15, 16], and she named them coiflets. In this paper, we propose a system of necessary conditions which is redundant free and simpler than the known system due to the elimination of some quadratic conditions, thus the construction of coiflets is simplified and enables us to find the exact values of the scaling coefficients of coiflets up to length 8 and two further with length 12. Furthermore for scaling coefficients of coiflets up to length 14 we obtain two quadratic equations, which can be transformed into a polynomial of degree 4 for which there is an algebraic formula to solve them.
TL;DR: In this paper, conditions for the Abel method of limitability to imply convergence and subsequential convergence were discussed, and conditions for convergence with respect to the limitability of the limit can be found.
Abstract: This paper addresses conditions for the Abel method of limitability to imply convergence and subsequential convergence.
TL;DR: In this paper, a topological duality for the n×m-valued Łukasiewicz-Moisil algebras with negation was established and a characterization of the number of principal congruences in terms of special subsets of the associated space is shown.
Abstract: n×m-valued Łukasiewicz algebras with negation were introduced and investigated in [20, 22, 23]. These algebras constitute a non trivial generalization of n-valued Łukasiewicz-Moisil algebras and in what follows, we shall call them n×m-valued Łukasiewicz-Moisil algebras (or LM
n×m
-algebras). In this paper, the study of this new class of algebras is continued. More precisely, a topological duality for these algebras is described and a characterization of LM
n×m
-congruences in terms of special subsets of the associated space is shown. Besides, it is determined which of these subsets correspond to principal congruences. In addition, it is proved that the variety of LM
n×m
-algebras is a discriminator variety and as a consequence, certain properties of the congruences are obtained. Finally, the number of congruences of a finite LM
n×m
-algebra is computed.
TL;DR: In this paper, a class of continuous transformations preserving the Hausdorff-Besicovitch dimension (DP-transformations) of random variables with independent s-adic digits is studied.
Abstract: Continuous transformations preserving the Hausdorff-Besicovitch dimension (“DP-transformations”) of every subset of R1 resp. [0, 1] are studied. A class of distribution functions of random variables with independent s-adic digits is analyzed. Necessary and sufficient conditions for dimension preservation under functions which are distribution functions of random variables with independent s-adic digits are found. In particular, it is proven that any strictly increasing absolutely continuous distribution function from the above class is a DP-function. Relations between the entropy of probability distributions, their Hausdorff-Besicovitch dimension and their DP-properties are discussed. Examples are given of singular distribution functions preserving the fractal dimension and of strictly increasing absolutely continuous functions which do not belong to the DP-class.
TL;DR: In this article, characterizations of generators and cyclic projective generators in the category of ordered right acts over an ordered monoid are given. But the characterizations are restricted to generators.
Abstract: The paper contains characterizations of generators and cyclic projective generators in the category of ordered right acts over an ordered monoid.
TL;DR: In this article, the authors considered a convex optimization problem with a vector valued function as objective function and convex cone inequality constraints, and provided necessary and sufficient conditions for weakly efficient solutions of this vector problem.
Abstract: We consider a convex optimization problem with a vector valued function as objective function and convex cone inequality constraints. We suppose that each entry of the objective function is the composition of some convex functions. Our aim is to provide necessary and sufficient conditions for the weakly efficient solutions of this vector problem. Moreover, a multiobjective dual treatment is given and weak and strong duality assertions are proved.
TL;DR: In this paper, the authors studied the problem of finding a q-ary code with minimum distance at least n − k + 1, and for any set of k − 1 coordinates there exist two codewords that agree exactly there.
Abstract: The following problem motivated by investigation of databases is studied. Let \( \mathcal{C} \) be a q-ary code of length n with the properties that \( \mathcal{C} \) has minimum distance at least n − k + 1, and for any set of k − 1 coordinates there exist two codewords that agree exactly there. Let f(q, k)be the maximum n for which such a code exists. f(q, k)is bounded by linear functions of k and q, and the exact values for special k and qare determined.
TL;DR: In this article, the authors established some common fixed point theorems for self-mappings of a uniform space by employing both the concepts of an A-distance and an E-distance introduced by Aamri and El Moutawakil [1] and two contractive conditions of integral type.
Abstract: In this paper, we establish some common fixed point theorems for selfmappings of a uniform space by employing both the concepts of an A—distance and an E—distance introduced by Aamri and El Moutawakil [1] and two contractive conditions of integral type. Our results are generalizations and extensions of the classical Banach’s fixed point theorem of [2, 3, 19], some results of Aamri and El Moutawakil [1], Theorem 2.1 of Branciari [5] as well as a result of Jungck [7].
TL;DR: In this article, the authors give explicit formulae for the continuous Hochschild and cyclic homology and cohomology of certain classes of topological algebras.
Abstract: We give explicit formulae for the continuous Hochschild and cyclic homology and cohomology of certain $$
\hat \otimes
$$
-algebras. We use well-developed homological techniques together with some niceties of the theory of locally convex spaces to generalize the results known in the case of Banach algebras and their inverse limits to wider classes of topological algebras. To this end we show that, for a continuous morphism ϕ: x → y of complexes of complete nuclear DF-spaces, the isomorphism of cohomology groups H
n(ϕ): H
n
(x) → H
n
(y) is automatically topological. The continuous cyclic-type homology and cohomology are described up to topological isomorphism for the following classes of biprojective $$
\hat \otimes
$$
-algebras: the tensor algebra E
$$
\hat \otimes
$$
F generated by the duality (E,F, ) for nuclear Frechet spaces E and F or for nuclear DF-spaces E and F; nuclear biprojective Kothe algebras λ(P) which are Frechet spaces or DF-spaces; the algebra of distributions e*(G) on a compact Lie group G.
TL;DR: In this article, a proof of Halbeisen's conjecture cov(v0) = add(v 0) is confirmed under the hypothesis t = min{cf(c, r), r}.
Abstract: The σ-ideal (v0) is associated with the Silver forcing, see [5]. Also, it constitutes the family of all completely doughnut null sets, see [9]. We introduce segment topologies to state some resemblances of (v0) to the family of Ramsey null sets. To describe add(v0) we adopt a proof of Base Matrix Lemma. Consistent results are stated, too. Halbeisen’s conjecture cov(v0) = add(v0) is confirmed under the hypothesis t = min{cf(c), r}. The hypothesis cov(v0) = ω1 implies that (v0) has the ideal type (c, ω1, c).
TL;DR: In this paper, the concepts of determinants and minors of operators E−τT1, τ ∈ ℂ and E −τT2, τ∈ ∄� are introduced as continuous functions on [a, b] and [c, d], respectively.
Abstract: Let Ω= [a, b] × [c, d] and T1, T2 be partial integral operators in \( C \)(Ω): (T1f)(x, y) = \( \mathop \smallint \limits_a^b \)k1(x, s, y)f(s, y)ds, (T2f)(x, y) = \( \mathop \smallint \limits_c^d \)k2(x, ts, y)f(t, y)dt where k1 and k2 are continuous functions on [a, b] × Ω and Ω × [c, d], respectively. In this paper, concepts of determinants and minors of operators E−τT1, τ ∈ ℂ and E−τT2, τ ∈ ℂ are introduced as continuous functions on [a, b] and [c, d], respectively. Here E is the identical operator in C(Ω). In addition, Theorems on the spectra of bounded operators T1, T2, and T = T1 + T2 are proved.
TL;DR: In this article, the local properties of functions and multidimensional singular integrals in terms of their mean oscillation were investigated and conditions guaranteeing existence of a derivative in the L p -sense at a given point were found.
Abstract: This paper is devoted to research on local properties of functions and multidimensional singular integrals in terms of their mean oscillation. The conditions guaranteeing existence of a derivative in the L p -sense at a given point are found. Spaces which remain invariant under singular integral operators are considered.
TL;DR: In this paper, the first and second modulus of continuities and the elements of Lipschitz class functions are used to obtain local approximation theorems for a certain family of positive linear operators via I-convergence.
Abstract: In this study, we obtain a local approximation theorems for a certain family of positive linear operators via I—convergence by using the first and the second modulus of continuities and the elements of Lipschitz class functions. We also give an example to show that the classical Korovkin Theory does not work but the theory works in I—convergence sense.
TL;DR: Asymptotic expressions for remainder terms of the midpoint, trapezoid and Simpson's rules are given in this article, and corresponding formulas with finite sums are also given.
Abstract: Asymptotic expressions for remainder terms of the mid-point, trapezoid and Simpson’s rules are given. Corresponding formulas with finite sums are also given.
TL;DR: In this article, it was shown that there is no map f:K → $$¯¯¯¯M_{Q_8 } �¯¯¯¯¯¯¯¯�¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¿¯¯¯¯¿¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯€€€¿€€£¯¯¯¯€£¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯€€£€£¯¯¯¯¯¯€€
Abstract: Let K be a CW-complex of dimension 3 such that H
3(K;ℤ) = 0 and $$
M_{Q_8 }
$$
the orbit space of the 3-sphere $$
\mathbb{S}^3
$$
with respect to the action of the quaternion group Q
8 determined by the inclusion Q
8 ⊆ $$
\mathbb{S}^3
$$
. Given a point a ∈ $$
M_{Q_8 }
$$
, we show that there is no map f:K → $$
M_{Q_8 }
$$
which is strongly surjective, i.e., such that MR[f,a]=min{#(g
−1(a))|g ∈ [f]} ≠ 0.
TL;DR: In this article, a dyadic wavelet base for orthonormal wavelet matrix masks is proposed, which can be adapted for multidimensional orthogonal multi-wavelet matrix mask construction.
Abstract: The construction of nonseparable and compactly supported orthonormal wavelet bases of L2(Rn); n ≥ 2, is still a challenging and an open research problem. In this paper, we provide a special method for the construction of such wavelet bases. The wavelets constructed by this method are dyadic wavelets. Also, we show that our proposed method can be adapted for an eventual construction of multidimensional orthogonal multiwavelet matrix masks, candidates for generating multidimensional multiwavelet bases.
TL;DR: In this paper, the authors considered the Navier-Stokes-Fourier system of equations on an unbounded domain with prescribed nonvanishing boundary conditions for the density and temperature at infinity.
Abstract: We consider the full Navier-Stokes-Fourier system of equations on an unbounded domain with prescribed nonvanishing boundary conditions for the density and temperature at infinity. The topic of this article continues author’s previous works on existence of the Navier-Stokes-Fourier system on nonsmooth domains. The procedure deeply relies on the techniques developed by Feireisl and others in the series of works on compressible, viscous and heat conducting fluids.
TL;DR: In this article, an illustrated introduction to the theory of hyperbolic virtual polytopes and related counterexamples to A.D. Alexandrov's conjecture is given.
Abstract: The paper gives an illustrated introduction to the theory of hyperbolic virtual polytopes and related counterexamples to A.D. Alexandrov’s conjecture.
TL;DR: The relationship between the Stability of coherent systems and the stability of holomorphic triples over a curve of arbitrary genus is studied and some properties are studied.
Abstract: Here we study the relationship between the stability of coherent systems and the stability of holomorphic triples over a curve of arbitrary genus. Moreover we apply these results to study some properties and give some examples of holomorphic triples on the projective line.
TL;DR: In this paper, a strongly pseudoconvex radially lower semicontinuous function is generalized to non-smooth settings and a complete characterization of the strongly pseudo-convex function is obtained.
Abstract: A strongly pseudoconvex function is generalized to non-smooth settings. A complete characterization of the strongly pseudoconvex radially lower semicontinuous functions is obtained.
TL;DR: In this paper, the authors describe linear gradings of the polynomial algebra k[x1,..., xm] such that the unit component is a polynomially k-algebra.
Abstract: Let k be a field, let \( G \) be a finite group. We describe linear \( G \)-gradings of the polynomial algebra k[x1, ..., xm] such that the unit component is a polynomial k-algebra.
TL;DR: In this paper, the maximal irreducible periodic subgroups of PGL(q, $$�\mathbb{F}�$$� � � � ) were classified, where the maximal subgroups are defined as a field of positive characteristic p transcendental over its prime subfield, q = p is prime, and has an element of order.
Abstract: We classify the maximal irreducible periodic subgroups of PGL(q, $$
\mathbb{F}
$$
), where $$
\mathbb{F}
$$
is a field of positive characteristic p transcendental over its prime subfield, q = p is prime, and $$
\mathbb{F}
$$
× has an element of order q That is, we construct a list of irreducible subgroups G of GL(q, $$
\mathbb{F}
$$
) containing the centre $$
\mathbb{F}
$$
×1
q
of GL(q, $$
\mathbb{F}
$$
), such that G/
$$
\mathbb{F}
$$
×1
q
is a maximal periodic subgroup of PGL(q, $$
\mathbb{F}
$$
), and if H is another group of this kind then H is GL(q, $$
\mathbb{F}
$$
)-conjugate to a group in the list We give criteria for determining when two listed groups are conjugate, and show that a maximal irreducible periodic subgroup of PGL(q, $$
\mathbb{F}
$$
) is self-normalising
TL;DR: In this paper, the authors presented a multidimensional analogization of Agnew's results for double oscillating sequences using square conservative matrices and square multiplicative matrices, and provided necessary and sufficient conditions that a square RH-multiplicative (square RH-conservative) be such that
Abstract: In 1939 Agnew presented a series of conditions that characterized the oscillation of ordinary sequences using ordinary square conservative matrices and square multiplicative matrices. The goal of this paper is to present multidimensional analogues of Agnew’s results. To accomplish this goal we begin by presenting a notion for double oscillating sequences. Using this notion along with square RH-conservative matrices and square RH-multiplicative matrices, we will present a series of characterization of this sequence space, i.e. we will present several necessary and sufficient conditions that assure us that a square RH-multiplicative(square RH-conservative) be such that
$$ P - \mathop {limsup}\limits_{(m,n) \to \infty ;(\alpha ,\beta ) \to \infty } \left| {\sigma _{m,n} - \sigma _{\alpha ,\beta } } \right| \leqslant P - \mathop {limsup}\limits_{(m,n) \to \infty ;(\alpha ,\beta ) \to \infty } \left| {s_{m,n} - s_{\alpha ,\beta } } \right| $$
for each double real bounded sequences {sk;l} where
$$ \sigma _{m,n} = \sum\limits_{k,l = 1,1}^{\infty ,\infty } {a_{m,n,k,l,} s_{k,l} } . $$
In addition, other implications and variations are also presented.
TL;DR: In this article, the existence results for solutions of generalized variational-like inequalities with (η,h)-pseudo-monotone type III operators defined on noncompact sets in topological vector spaces are proved.
Abstract: Our aim in this paper is mainly to prove some existence results for solutions of generalized variational-like inequalities with (η,h)-pseudo-monotone type III operators defined on non-compact sets in topological vector spaces.