Let X be a Hausdorff quotient of standard space (that is locally compact separable metric space). It shown that the following are equivalent: (i) image an irreducible map from space; (ii) has sequentially dense subset satisfying two technical conditions involving double sequences; (iii) whenever q : Y → , restriction ⁎ | V onto (where pure derived and closure set singleton fibres ). The proof u...

Let Cb(K) be the set of all bounded continuous (real or complex) functions on a complete metric space K and A a closed subspace of Cb(K). Using the variational method, it is shown that the set of all strong peak functions in A is dense if and only if the set of all strong peak points is a norming subset of A. As a corollary we show that if X is a locally uniformly convex, complex Banach space, ...

We consider drawings of graphs that contain dense subgraphs. We introduce intersection-link representations for such graphs, in which each vertex u is represented by a geometric object R(u) and each edge (u, v) is represented by the intersection between R(u) and R(v), if it belongs to a dense subgraph, or by a curve connecting the boundaries ofR(u) andR(v), otherwise. We study a notion of plana...

A topological space X is Baire if the intersection of any sequence open dense subsets in X. Let $$C_p(X,[0,1])$$ denote all continuous [0, 1]-valued functions on a Tychonoff with topology pointwise convergence. In this paper, we have obtained characterization for function to be separable closed which are $$C^*$$ -embedded. particular, holds normal spaces and, hence, metrizable spaces. Moreover,...

In this work, we are interested in characterizing typical (generic) dimensional properties of invariant measures associated with the full-shift system, $T$, a product space whose alphabet is perfect and separable metric (thus, complete uncountable). More specifically, show that set upper Hausdorff dimension equal to zero lower packing infinity dense $G_\delta$ subset $\mathcal{M}(T)$, $T$-invar...

Let k be an algebraically closed field and let G be a reductive linear algebraic group over k. Let P be a parabolic subgroup of G, Pu its unipotent radical and pu the Lie algebra of Pu. A fundamental result of R. Richardson says that P acts on pu with a dense orbit (see [9]). The analogous result for the coadjoint action of P on pu is already known for char k = 0 (see [5]). In this note we prov...

It is known that for Ω a connected separable metric space, a function Ω → R which at every point attains a weak local extremummust have countable image. Let Ω ⊂ R be a bounded domain and f : Ω → C a measurable, bounded, quasi-continuous function. For n ∈ Z+, we show that if |f | has countable image then f attains weak local extremum at each point of a dense open subset. We show by examples the ...

We introduce a method for constrained nonlinear programming, that is widely used in mechanical engineering and that is known under the name SCP for sequential convex programming. The algorithm consists of solving a sequence of convex and separable subproblems, where an augmented Lagrangian merit function is used for guaranteeing convergence. Originally, SCP methods were developed in structural ...

It is shown, using the Borwein–Preiss variational principle that for every continuous convex function f on a weakly compactly generated space X, every x0 ∈ X and every weakly compact convex symmetric set K such that spanK = X, there is a point of Gâteaux differentiability of f in x0 +K. This extends a Klee’s result for separable spaces. The well-known Mazur’s theorem says that a continuous conv...

A beam splitter is a basic linear optical element appearing in many optics experiments and is frequently used as a continuous-variable entangler transforming a pair of input modes from a separable Gaussian state into an entangled state. However, a beam splitter is a passive operation that can create entanglement from Gaussian states only under certain conditions. One such condition is that the ...