scholarly journals Orthogonal families of real sequences

1998 ◽  
Vol 63 (1) ◽  
pp. 29-49
Author(s):  
Arnold W. Miller ◽  
Juris Steprans

For x, y ϵ ℝω define the inner productwhich may not be finite or even exist. We say that x and y are orthogonal if (x, y) converges and equals 0.Define lp to be the set of all x ϵ ℝω such thatFor Hilbert space, l2, any family of pairwise orthogonal sequences must be countable. For a good introduction to Hilbert space, see Retherford [4].Theorem 1. There exists a pairwise orthogonal family F of size continuum such that F is a subset of lp for every p > 2.It was already known that there exists a family of continuum many pairwise orthogonal elements of ℝω. A family F ⊆ ℝω∖0 of pairwise orthogonal sequences is orthogonally complete or a maximal orthogonal family iff the only element of ℝω orthogonal to every element of F is 0, the constant 0 sequence.It is somewhat surprising that Kunen's perfect set of orthogonal elements is maximal (a fact first asserted by Abian). MAD families, nonprincipal ultrafilters, and many other such maximal objects cannot be even Borel.Theorem 2. There exists a perfect maximal orthogonal family of elements of ℝω.Abian raised the question of what are the possible cardinalities of maximal orthogonal families.Theorem 3. In the Cohen real model there is a maximal orthogonal set in ℝω of cardinality ω1, but there is no maximal orthogonal set of cardinality κ with ω1 < κ < ϲ.By the Cohen real model we mean any model obtained by forcing with finite partial functions from γ to 2, where the ground model satisfies GCH and γω = γ.

1987 ◽  
Vol 29 (2) ◽  
pp. 245-248 ◽  
Author(s):  
Fuad Kittaneh

Let H denote a separable, infinite dimensional Hilbert space. Let B(H), C2 and C1 denote the algebra of all bounded linear operators acting on H, the Hilbert–Schmidt class and the trace class in B(H) respectively. It is well known that C2 and C1 each form a two-sided-ideal in B(H) and C2 is itself a Hilbert space with the inner productwhere {ei} is any orthonormal basis of H and tr(.) is the natural trace on C1. The Hilbert–Schmidt norm of X ∈ C2 is given by ⅡXⅡ2=(X, X)½.


1949 ◽  
Vol 45 (3) ◽  
pp. 335-341 ◽  
Author(s):  
J. D. Weston

The name ‘cardinal function’ was given toby E. T. Whittaker (1), who considered it as a ‘smooth’ approximation to a function f(x), having the same values as f(x) at the points a + rw (r = 0, ± 1, ± 2, …). It has since been extensively studied (2), mainly from the point of view of interpolation theory. Hardy (3), however, observed that the functions νr(t) defined byform a normal orthogonal set on the interval (−∞, ∞), for r = 0, ± 1, ± 2, …. This fact suggests a discussion of the cardinal series from the point of view of mean-square approximation.


1989 ◽  
Vol 31 (2) ◽  
pp. 161-163
Author(s):  
Feng Wenying ◽  
Ji Guoxing

Let B(H) be the algebra of all bounded linear operators on a separable, infinite dimensional complex Hilbert space H. Let C2 and C1 denote respectively, the Hilbert–Schmidt class and the trace class operators in B(H). It is known that C2 and C1 are two-sided*-ideals in B(H) and C2 is a Hilbert space with respect to the inner product(where tr denotes the trace). For any Hilbert–Schmidt operator X let ∥X∥2=(X, X)½ be the Hilbert-Schmidt norm of X.For fixed A ∈ B(H) let δA be the operator on B(H) defined byOperators of the form (1) are called inner derivations and they (as well as their restrictions have been extensively studied (for example [1–3]). In [1], Fuad Kittaneh proved the following result.


1980 ◽  
Vol 23 (2) ◽  
pp. 179-184 ◽  
Author(s):  
K. Inayatnoor ◽  
M. Aslam Noor

Let H be a real Hilbert space with its dual space H'. The norm and inner product in H are denoted by ||.|| and 〈.,.〉 respectively. We denote by 〈.,.〉, the pairing between H' and H.If a(u, v) is a bilinear form and F is a real-valued continuous functional on H, then we consider I[v], a functional defined by


2010 ◽  
Vol 75 (3) ◽  
pp. 896-904
Author(s):  
Paweł Kawa ◽  
Janusz Pawlikowski

AbstractWe show that for an uncountable κ in a suitable Cohen real model for any family {Av}v<κ of sets of reals there is a σ-homomorphism h from the σ-algebra generated by Borel sets and the sets Av, into the algebra of Baire subsets of 2κ modulo meager sets such that for all Borel B,The proof is uniform, works also for random reals and the Lebesgue measure, and in this way generalizes previous results of Carlson and Solovay for the Lebesgue measure and of Kamburelis and Zakrzewski for the Baire property.


1968 ◽  
Vol 20 ◽  
pp. 673-678 ◽  
Author(s):  
C.-Y. Lo

Let H be a Hilbert space with the usual product [x, y] and with an indefinite inner product (x, y) which, for some orthogonal decompositionin H, is defined bywhereand dim H1 = κ, a fixed positive integer.


2021 ◽  
pp. 1-66
Author(s):  
Akio Ito

This paper deals with a nonlinear system (S) composed of three PDEs and one ODE below: [Formula: see text] The system (S) was proposed as one of the mathematical models which describe tumor invasion phenomena with chemotaxis effects. The most important and interesting point is that the diffusion coefficient of tumor cells, denoted by [Formula: see text], is influenced by both nonlocal effect of a chemical attractive substance, denoted by [Formula: see text], and the local one of extracellular matrix, denoted by [Formula: see text]. From this point, the first PDE in (S) contains a nonlinear cross diffusion. Actually, this mathematical setting gives an inner product of a suitable real Hilbert space, which governs the dynamics of the density of tumor cells [Formula: see text], a quasi-variational structure. Hence, the first purpose in this paper is to make it clear what this real Hilbert space is. After this, we show the existence of strong time local solutions to the initial-boundary problems associated with (S) when the space dimension is [Formula: see text] by applying the general theory of evolution inclusions on real Hilbert spaces with quasi-variational structures. Moreover, for the case [Formula: see text] we succeed in constructing a strong time global solution.


2018 ◽  
Vol 83 (2) ◽  
pp. 572-597 ◽  
Author(s):  
ITAY NEEMAN ◽  
ZACH NORWOOD

AbstractWe prove that, in the choiceless Solovay model, every set of reals isH-Ramsey for every happy familyHthat also belongs to the Solovay model. This gives a new proof of Törnquist’s recent theorem that there are no infinite mad families in the Solovay model. We also investigate happy families and mad families under determinacy, applying a generic absoluteness result to prove that there are no infinite mad families under$A{D^ + }$.


2004 ◽  
Vol 2004 (63) ◽  
pp. 3419-3422 ◽  
Author(s):  
R. J. Gregorac

We show that the sequences of polynomials with zeroscot(mπ/(n+2))andtan(mπ/(n+2))are not orthogonal sequences with respect to any integral inner product. We give an algebraic formula for these polynomials, that is simpler than the formula originally derived by Cvijovic and Klinowski (1998). New sequences of polynomials with algebraic numbers as roots and closed trigonometric formulas are also derived by these methods.


2018 ◽  
Vol 97 (3) ◽  
pp. 459-470 ◽  
Author(s):  
IZ-IDDINE EL-FASSI ◽  
JANUSZ BRZDĘK

Motivated by the notion of Ulam stability, we investigate some inequalities connected with the functional equation $$\begin{eqnarray}f(xy)+f(x\unicode[STIX]{x1D70E}(y))=2f(x)+h(y),\quad x,y\in G,\end{eqnarray}$$ for functions $f$ and $h$ mapping a semigroup $(G,\cdot )$ into a commutative semigroup $(E,+)$, where the map $\unicode[STIX]{x1D70E}:G\rightarrow G$ is an endomorphism of $G$ with $\unicode[STIX]{x1D70E}(\unicode[STIX]{x1D70E}(x))=x$ for all $x\in G$. We derive from these results some characterisations of inner product spaces. We also obtain a description of solutions to the equation and hyperstability results for the $\unicode[STIX]{x1D70E}$-quadratic and $\unicode[STIX]{x1D70E}$-Drygas equations.


Sign in / Sign up

Export Citation Format

Share Document