Source author record

Piotr Niemiec

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

19works
9topics
2close collaborators

Published work

19 publications

preprint2020arXiv

Positive Hankel operators, positive definite kernels and related topics

It is shown that a positive (bounded linear) operator on a Hilbert space with trivial kernel is unitarily equivalent to a Hankel operator that satisfies double positivity condition if and only if it is non-invertible and has simple spectrum (that is, if this operator admits a cyclic vector). More generally, for an arbitrary positive (bounded linear) operator A on a Hilbert space H with trivial kernel the collection V(A) of all linear isometries V from H into H such that AV is positive as well is investigated. In particular, operators A such that V(A) contains a pure isometry with a given deficiency index are characterized. Some applications to unbounded positive self-adjoint operators as well as to positive definite kernels are presented. In particular, positive definite matrix-type square roots of such kernels are studied and kernels that have a unique such root are characterized. The class of all positive definite kernels that have at least one such a square root is also investigated.

preprint2017arXiv

Applications of amenable semigroups in operator theory

The paper deals with continuous homomorphisms S∋s↦Ts∈L(E)S \ni s \mapsto T_s \in L(E) of amenable semigroups SS into the algebra L(E)L(E) of all bounded linear operators on a Banach space EE. For a closed linear subspace FF of EE, sufficient conditions are given under which there exists a projection P∈L(E)P \in L(E) onto FF that commutes with all TsT_s. And when EE is a Hilbert space, sufficient conditions are given for the existence of an invertible operator R∈L(E)R \in L(E) such that all RTsR−1R T_s R^{-1} are isometries. Also certain results on extending intertwining operators, renorming as well as on operators on hereditarily indecomposable Banach spaces are offered.

preprint2012arXiv

Functional calculus for diagonalizable matrices

For an arbitrary function f:Ω\rightarrow C (where Ωis a subset of the field C) and a positive integer k let f act on all diagonalizable complex matrices whose all eigenvalues lie in Omega in the following way: f[P Diag(z1,...,zk) P-1] = P Diag(f(z1),...,f(zk)) P-1 for arbitrary numbers z1,...,zk in Ωand an invertible k \times k matrix P. The aim of the paper is to fully answer the question of when the function fop defined above is continuous for fixed k. In particular, it is shown that if Ωis open in C, then fop is continuous for fixed k > 2 iff f is holomorphic; and if Ωis an interval in R and k > 2, then fop is continuous iff f is of class Ck-2(Ω) and f(k-2) is locally Lipschitz in Ω. Also a full characterization is given when the domain of f is arbitrary as well as when fop acts on infinite-dimensional (diagonalizable) matrices.

preprint2012arXiv

Isometry groups among topological groups

It is shown that a topological group G is topologically isomorphic to the isometry group of a (complete) metric space iff G coincides with its G-delta-closure in the Rajkov completion of G (resp. if G is Rajkov-complete). It is also shown that for every Polish (resp. compact Polish; locally compact Polish) group G there is a complete (resp. proper) metric d on X inducing the topology of X such that G is isomorphic to Iso(X,d) where X = l_2 (resp. X = Q; X = Q\{point} where Q is the Hilbert cube). It is demonstrated that there are a separable Banach space E and a nonzero vector e in E such that G is isomorphic to the group of all (linear) isometries of E which leave the point e fixed. Similar results are proved for an arbitrary complete topological group.

preprint2012arXiv

Isometry groups of proper metric spaces

Given a locally compact Polish space X, a necessary and sufficient condition for a group G of homeomorphisms of X to be the full isometry group of (X,d) for some proper metric d on X is given. It is shown that every locally compact Polish group G acts freely on GxY as the full isometry group of GxY with respect to a certain proper metric on GxY, where Y is an arbitrary locally compact Polish space with (card(G),card(Y)) different from (1,2). Locally compact Polish groups which act effectively and almost transitively on complete metric spaces as full isometry groups are characterized. Locally compact Polish non-Abelian groups on which every left invariant metric is automatically right invariant are characterized and fully classified. It is demonstrated that for every locally compact Polish space X having more than two points the set of proper metrics d such that Iso(X,d) = {id} is dense in the space of all proper metrics on X.

preprint2011arXiv

A note on ANR's

It is shown that if for a complete metric space (X,d)(X,d) there is a constant ε>0ε> 0 such that the intersection ⋂j=1nBd(xj,rj)\bigcap_{j=1}^n B_d(x_j,r_j) of open balls is nonempty for every finite system x1,...,xn∈Xx_1,...,x_n \in X of centers and a corresponding system of radii r1,...,rn>0r_1,...,r_n > 0 such that $d(x_j,x_k) \leqsl ε$ and d(xj,xk)<rj+rkd(x_j,x_k) < r_j + r_k (j,k=1,...,nj,k = 1,...,n), then XX is an ANR; and if in the above one may put ε=∞ε= \infty, the space XX is an AR. A certain criterion for an incomplete metric space to be an A(N)R is presented.

preprint2011arXiv

Borel structure of the spectrum of a closed operator

For a linear operator TT in a Banach space let σp(T)σ_p(T) denote the point spectrum of TT, σp[n](T)σ_{p[n]}(T) for finite n>0n > 0 be the set of all λ∈σp(T)λ\in σ_p(T) such that dim⁡ker⁡(T−λ)=n\dim \ker (T - λ) = n and let σp[∞](T)σ_{p[\infty]}(T) be the set of all λ∈σp(T)λ\in σ_p(T) for which ker⁡(T−λ)\ker (T - λ) is infinite-dimensional. It is shown that σp(T)σ_p(T) is Fσ\mathcal{F}_σ, σp[∞](T)σ_{p[\infty]}(T) is Fσδ\mathcal{F}_{σδ} and for each finite nn the set σp[n](T)σ_{p[n]}(T) is the intersection of an Fσ\mathcal{F}_σ and a Gδ\mathcal{G}_δ set provided TT is closable and the domain of TT is separable and weakly σσ-compact. For closed densely defined operators in a separable Hilbert space H\mathcal{H} more detailed decomposition of the spectra is done and the algebra of all bounded linear operators on H\mathcal{H} is decomposed into Borel parts. In particular, it is shown that the set of all closed range operators on H\mathcal{H} is Borel.

preprint2011arXiv

Central points and measures and dense subsets of compact metric spaces

For every nonempty compact convex subset KK of a normed linear space a (unique) point cK∈Kc_K \in K, called the generalized Chebyshev center, is distinguished. It is shown that cKc_K is a common fixed point for the isometry group of the metric space KK. With use of the generalized Chebyshev centers, the central measure μXμ_X of an arbitrary compact metric space XX is defined. For a large class of compact metric spaces, including the interval [0,1][0,1] and all compact metric groups, another `central' measure is distinguished, which turns out to coincide with the Lebesgue measure and the Haar one for the interval and a compact metric group, respectively. An idea of distinguishing infinitely many points forming a dense subset of an arbitrary compact metric space is also presented.

preprint2011arXiv

Extending maps by injective σσ-ZZ-maps in Hilbert manifolds

The aim of the paper is to prove that if MM is a metrizable manifold modelled on a Hilbert space of dimension α≥ℵ0α\geq \aleph_0 and FF is its σσ-ZZ-set, then for every completely metrizable space XX of weight no greater than αα and its closed subset AA, for any map f:X→Mf: X \to M, each open cover U\mathcal{U} of MM and a sequnce (An)n(A_n)_n of closed subsets of XX disjoint from AA there is a map g:X→Mg: X \to M U\mathcal{U}-homotopic to ff such that g∣A=f∣Ag\bigr|_A = f\bigr|_A, g∣Ang\bigr|_{A_n} is a closed embedding for each nn and g(X∖A)g(X \setminus A) is a σσ-ZZ-set in MM disjoint from FF. It is shown that if f(∂A)f(\partial A) is contained in a locally closed σσ-ZZ-set in MM or f(X∖A)∩f(∂A)ˉ=∅f(X \setminus A) \cap \bar{f(\partial A)} = \empty, the map gg may be taken so that g∣X∖Ag\bigr|_{X \setminus A} be an embedding. If, in addition, X∖AX \setminus A is a connected manifold modelled on the same Hilbert space as MM and f(∂A)ˉ\bar{f(\partial A)} is a ZZ-set in MM, then there is a U\mathcal{U}-homotopic to ff map h:X→Mh: X \to M such that h∣A=f∣Ah\bigr|_A = f\bigr|_A and h∣X∖Ah\bigr|_{X \setminus A} is an open embedding.

preprint2011arXiv

Norm closures of orbits of bounded operators

To every bounded linear operator AA between Hilbert spaces H\mathcal{H} and K\mathcal{K} three cardinals ιr(A)ι_r(A), ιi(A)ι_i(A) and ιf(A)ι_f(A) and a binary number ιb(A)ι_b(A) are assigned in terms of which the descriptions of the norm closures of the orbits {GAL−1: L∈G1, G∈G2}\{G A L^{-1}:\ L \in \mathcal{G}_1,\ G \in \mathcal{G}_2\} are given for G1\mathcal{G}_1 and G2\mathcal{G}_2 (chosen independently) being the trivial group, the unitary group or the group of all invertible operators on H\mathcal{H} and K\mathcal{K}, respectively.

preprint2011arXiv

Normal systems over ANR's, rigid embeddings and nonseparable absorbing sets

Most of results of Bestvina and Mogilski [\textit{Characterizing certain incomplete infinite-dimensional absolute retracts}, Michigan Math. J. \textbf{33} (1986), 291--313] on strong ZZ-sets in ANR's and absorbing sets is generalized to nonseparable case. It is shown that if an ANR XX is locally homotopy dense embeddable in infinite-dimensional Hilbert manifolds and w(U)=w(X)w(U) = w(X) (where `ww' is the topological weight) for each open nonempty subset UU of XX,then XX itself is homotopy dense embeddable in a Hilbert manifold. It is also demonstrated that whenever XX is an AR, its weak product W(X,∗)={(xn)n=1∞∈Xω: xn=∗for almost alln}W(X,*) = \{(x_n)_{n=1}^{\infty} \in X^ω:\ x_n = * \textup{for almost all} n\} is homeomorphic to a pre-Hilbert space EE with E≅ΣEE \cong ΣE. An intrinsic characterization of manifolds modelled on such pre-Hilbert spaces is given.

preprint2011arXiv

Problem with almost everywhere equality

A topological space YY is said to have (AEEP) if the following condition is fulfilled. Whenever (X,M)(X,\mathfrak{M}) is a measurable space and f,g:X→Yf, g: X \to Y are two measurable functions, then the set Δ(f,g)={x∈X: f(x)=g(x)}Δ(f,g) = \{x \in X:\ f(x) = g(x)\} is a member of M\mathfrak{M}. It is shown that a metrizable space YY has (AEEP) iff the cardinality of YY is no greater than 2ℵ02^{\aleph_0}.

preprint2011arXiv

Spaces of measurable functions

For a metrizable space XX and a finite measure space (Ω,M,μ)(Ω,\mathfrak{M},μ) let Mμ(X)M_μ(X) and Mμf(X)M^f_μ(X) be the spaces of all equivalence classes (under the relation of equality almost everywhere mod μμ) of mathfrakMmathfrak{M}-measurable functions from ΩΩ to XX whose images are separable and finite, respectively, equipped with the topology of convergence in measure. The main aim of the paper is to prove the following result: if μμ is (nonzero and) nonatomic and XX has more than one point, then the space Mμ(X)M_μ(X) is a noncompact absolute retract and Mμf(A)M^f_μ(A) is homotopy dense in Mμ(X)M_μ(X) for each dense subset AA of XX. In particular, if XX is completely metrizable, then Mμ(X)M_μ(X) is homeomorphic to an infinite-dimensional Hilbert space.

preprint2011arXiv

Unitary equivalence and decompositions of finite systems of closed densely defined operators in Hilbert spaces

An \textit{ideal} of NN-tuples of operators is a class invariant with respect to unitary equivalence which contains direct sums of arbitrary collections of its members as well as their (reduced) parts. New decomposition theorems (with respect to ideals) for NN-tuples of closed densely defined linear operators acting in a common (arbitrary) Hilbert space are presented. Algebraic and order (with respect to containment) properties of the class CDDNCDD_N of all unitary equivalence classes of such NN-tuples are established and certain ideals in CDDNCDD_N are distinguished. It is proved that infinite operations in CDDNCDD_N may be reconstructed from the direct sum operation of a pair. \textit{Prime decomposition} in CDDNCDD_N is proposed and its (in a sense) uniqueness is established. The issue of classification of ideals in CDDNCDD_N (up to isomorphism) is discussed. A model for CDDNCDD_N is described and its concrete realization is presented. A new partial order of NN-tuples of operators is introduced and its fundamental properties are established. Extremal importance of unitary disjointness of NN-tuples and the way how it `tidies up' the structure of CDDNCDD_N are emphasized.

preprint2011arXiv

Universal valued Abelian groups

The counterparts of the Urysohn universal space in category of metric spaces and the Gurarii space in category of Banach spaces are constructed for separable valued Abelian groups of fixed (finite) exponents (and for valued groups of similar type) and their uniqueness is established. Geometry of these groups, denoted by G_r(N), is investigated and it is shown that each of G_r(N)'s is homeomorphic to the Hilbert space l^2. Those of G_r(N)'s which are Urysohn as metric spaces are recognized. `Linear-like' structures on G_r(N) are studied and it is proved that every separable metrizable topological vector space may be enlarged to G_r(0) with a `linear-like' structure which extends the linear structure of the given space.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.