On some closed sets in ideal minimal spaces

The purpose of this paper is to introduce ideal minimal spaces and to investigate the relationships between minimal spaces and ideal minimal spaces. We define some closed sets in these spaces to establish their relationships. Basic properties and characterizations related to these sets are given.     

Transience and capacity of minimal submanifolds

We prove explicit lower bounds for the capacity of annular domains of minimal submanifolds P ^m in ambient Riemannian spaces N ⁿ with sectional curvatures bounded from above. We characterize the situations in which the lower bounds for the capacity are actually attained. Furthermore we apply these bounds to prove that Brownian motion defined on a complete minimal submanifold is transient when the ambient space is a negatively curved Hadamard-Cartan manifold. The proof stems directly from the capacity bounds and also covers the case of minimal submanifolds of dimension m > 2 in Euclidean spaces.     

Harmonic functions with boundary values on Herz spaces

We discuss continuity of the Poisson transform on Herz spaces Bp as well as its action on weighted versions of these sets. We also consider Banach- valued versions of Herz spaces and study some of their properties.     

Computing bivariate splines in scattered data fitting and the finite-element method

A number of useful bivariate spline methods are global in nature, i.e., all of the coefficients of an approximating spline must be computed at one time. Typically this involves solving a system of linear equations. Examples include several well-known methods for fitting scattered data, such as the minimal energy, least-squares, and penalized least-squares methods. Finite-element methods for solving boundary-value problems are also of this type. It is shown here that these types of globally-defined splines can be efficiently computed, provided we work with spline spaces with stable local minimal determining sets.     

Sufficient sets in weighted Fréchet spaces of entire functions

Under study are sufficient sets in Fréchet spaces of entire functions with uniform weighted estimates. We obtain general results on the a priori overflow of these sets and introduce the concept of their minimality. We also establish necessary and sufficient conditions for a sequence of points on the complex plane to be a minimal sufficient set for a weighted Fréchet space. Applications are given to the problem of representation of holomorphic functions in a convex domain with certain growth near the boundary by exponential series.     

Envelopes of open sets and extending holomorphic functions on dual Banach spaces

We investigate certain envelopes of open sets in dual Banach spaces which are related to extending holomorphic functions. We give a variety of examples of absolutely convex sets showing that the extension is in many cases not possible. We also establish connections to the study of iterated weak^∗ sequential closures of convex sets in the dual of separable spaces.     

Graphs realised by r.e. equivalence relations

We investigate dependence of recursively enumerable graphs on the equality relation given by a specific r.e. equivalence relation on ω. In particular we compare r.e. equivalence relations in terms of graphs they permit to represent. This defines partially ordered sets that depend on classes of graphs under consideration. We investigate some algebraic properties of these partially ordered sets. For instance, we show that some of these partial ordered sets possess atoms, minimal and maximal elements. We also fully describe the isomorphism types of some of these partial orders.     

Determining Sets, Resolving Sets, and the Exchange Property

A subset U of vertices of a graph G is called a determining set if every automorphism of G is uniquely determined by its action on the vertices of U. A subset W is called a resolving set if every vertex in G is uniquely determined by its distances to the vertices of W. Determining (resolving) sets are said to have the exchange property in G if whenever S and R are minimal determining (resolving) sets for G and ${r\in R}$ , then there exists ${s\in S}$ so that ${S-\{s\} \cup \{r\}}$ is a minimal determining (resolving) set. This work examines graph families in which these sets do, or do not, have the exchange property. This paper shows that neither determining sets nor resolving sets have the exchange property in all graphs, but that both have the exchange property in trees. It also gives an infinite graph family (n-wheels where n ≥ 8) in which determining sets have the exchange property but resolving sets do not. Further, this paper provides necessary and sufficient conditions for determining sets to have the exchange property in an outerplanar graph.     

Nonsmooth sequential analysis in Asplund spaces

We develop a generalized differentiation theory for nonsmooth functions and sets with nonsmooth boundaries defined in Asplund spaces. This broad subclass of Banach spaces provides a convenient framework for many important applications to optimization, sensitivity, variational inequalities, etc. Our basic normal and subdifferential constructions are related to sequential weak-star limits of Fréchet normals and subdifferentials. Using a variational approach, we establish a rich calculus for these nonconvex limiting objects which turn out to be minimal among other set-valued differential constructions with natural properties. The results obtained provide new developments in infinite dimensional nonsmooth analysis and have useful applications to optimization and the geometry of Banach spaces.

     

Extrinsic isoperimetry and compactification of minimal surfaces in Euclidean and hyperbolic spaces

We study the topology of (properly) immersed complete minimal surfaces P ² in Hyperbolic and Euclidean spaces which have finite total extrinsic curvature, using some isoperimetric inequalities satisfied by the extrinsic balls in these surfaces (see [10]). We present an alternative and unified proof of the Chern-Osserman inequality satisfied by these minimal surfaces (in ? ⁿ and in ? ⁿ (b)), based in the isoperimetric analysis mentioned above. Finally, we show a Chern-Osserman-type equality attained by complete minimal surfaces in the Hyperbolic space with finite total extrinsic curvature.     

Integral type linear functionals on ordered cones

We introduce linear functionals on an ordered cone that are minimal with respect to a given subcone. Using concepts developed for Choquet theory we observe that the properties of these functionals resemble those of positive Radon measures on locally compact spaces. Other applications include monotone functionals on cones of convex sets, H-integrals on H-cones in abstract potential theory, and classical Choquet theory itself.

     

On 1-Blocking Sets in PG(n,q), n ≥ 3

In this article we study minimal1-blocking sets in finite projective spaces _PG(n,q),n 3. We prove that in PG(n,q ²),q = p ^h , p prime, p > 3,h 1, the second smallest minimal 1-blockingsets are the second smallest minimal blocking sets, w.r.t.lines, in a plane of PG(n,q ²). We also study minimal1-blocking sets in PG(n,q ³), n 3, q = p ^h, p prime, p > 3,q 5, and prove that the minimal 1-blockingsets of cardinality at most q 3 + q ² + q + ¹ are eithera minimal blocking set in a plane or a subgeometry PG(3,q).     

Minimal 1-saturating sets and complete caps in binary projective spaces

In binary projective spaces PG(v,2), minimal 1-saturating sets, including sets with inner lines and complete caps, are considered. A number of constructions of the minimal 1-saturating sets are described. They give infinite families of sets with inner lines and complete caps in spaces with increasing dimension. Some constructions produce sets with an interesting symmetrical structure connected with inner lines, polygons, and orbits of stabilizer groups. As an example we note an 11-set in PG(4,2) called “Pentagon with center”. The complete classification of minimal 1-saturating sets in small geometries is obtained by computer and is connected with the constructions described.     

Theorems of Erd?s-Ko-Rado type in polar spaces

We consider Erd?s-Ko-Rado sets of generators in classical finite polar spaces. These are sets of generators that all intersect non-trivially. We characterize the Erd?s-Ko-Rado sets of generators of maximum size in all polar spaces, except for H(4n+1,q²) with n?2.     

On Decompositions of Compact Convex Sets

The present paper generalizes M. Edelstein's theorem on the indecomposability of compact convex sets in locally convex linear topological spaces to spherical and hyperbolic geometry. Moreover, the indecomposability of compact intervals in EU¹ w.r.t. homeomorphisms of EU¹ onto itself is shown.     

On Homeomorphisms of Effective Topological Spaces

We study effective presentations and homeomorphisms of effective topological spaces. By constructing a functor from the category of computable models into the category of effective topological spaces, we show in particular that there exist homeomorphic effective topological spaces admitting no hyperarithmetical homeomorphism between them and there exist effective topological spaces whose autohomeomorphism group has the cardinality of the continuum but whose only hyperarithmetical autohomeomorphism is trivial. It is also shown that if the group of autohomeomorphisms of a hyperarithmetical topological space has cardinality less than 2 then this group is hyperarithmetical. We introduce the notion of strong computable homeomorphism and solve the problem of the number of effective presentations of T ₀-spaces with effective bases of clopen sets with respect to strong homeomorphisms.     

Remarks on Minimal Sets for Cyclic Mappings in Uniformly Convex Banach Spaces

In this article, we prove that every nonempty and convex pair of subsets of uniformly convex in every direction Banach spaces has the proximal normal structure and then we present a best proximity point theorem for cyclic relatively nonexpansive mappings in such spaces. We also study the structure of minimal sets of cyclic relatively nonexpansive mappings and obtain the existence results of best proximity points for cyclic mappings using some new geometric notions on minimal sets. Finally, we prove a best proximity point theorem for a new class of cyclic contraction-type mappings in the setting of uniformly convex Banach spaces and so, we improve the main conclusions of Eldred and Veeramani.     

Anisotropic smoothness spaces via level sets

It has been understood for sometime that the classical smoothness spaces, such as the Sobolev and Besov classes, are not satisfactory for certain problems in image processing and nonlinear PDEs. Their deficiency lies in their isotropy. Functions in these smoothness spaces must be simultaneously smooth in all directions. The anisotropic generalizations of these spaces also have the deficiency that they are biased in coordinate directions. While they allow different smoothness in certain directions, these directions must be aligned to the coordinate axes. In the application areas mentioned above, it would be desirable to measure smoothness in new ways that would allow one to have more local control over the smoothness directions. We introduce one possible approach to this problem based on defining smoothness via level sets. We present this approach in the case of functions defined on ?^d. Our smoothness spaces depend on two smoothness indices (s₁, s₂). The first reflects the smoothness of the level sets of the function, while the second index reflects how smoothly the level sets themselves are changing. As a motivation, we start with d = 2 and investigate Besov smooth domains. © 2007 Wiley Periodicals, Inc.     

Ultrafilters and non-Cantor minimal sets in linearly ordered dynamical systems

It is well known that infinite minimal sets for continuous functions on the interval are Cantor sets; that is, compact zero dimensional metrizable sets without isolated points. On the other hand, it was proved in Alcaraz and Sanchis (Bifurcat Chaos 13:1665–1671, 2003) that infinite minimal sets for continuous functions on connected linearly ordered spaces enjoy the same properties as Cantor sets except that they can fail to be metrizable. However, no examples of such subsets have been known. In this note we construct, in ZFC, non-metrizable infinite pairwise non-homeomorphic minimal sets on compact connected linearly ordered spaces.