Strong and weak duality principles for fractal dimension in Euclidean space

1995 ◽  
Vol 118 (3) ◽  
pp. 393-410 ◽  
Author(s):  
Colleen D. Cutler

AbstractTricot [27] provided apparently dual representations of the Hausdorff and packing dimensions of any analytic subset of Euclidean d-space in terms of, respectively, the lower and upper pointwise dimension maps of the finite Borel measures on ℝd. In this paper we show that Tricot's two representations, while similar in appearance, are in fact not duals of each other, but rather the duals of two other ‘missing’ representations. The key to obtaining these missing representations lies in extended Frostman and antiFrostman lemmas, both of which we develop in this paper. This leads to the formulation of two distinct characterizations of dim (A) and Dim (A), one which we call the weak duality principle and the other the strong duality principle. In particular, the strong duality principle is concerned with the existence, for each analytic set A, of measures on A that are (almost) of the same exact dimension (Hausdorff or packing) as A. The connection with Rényi (or information) dimension and a variational principle of Cutler and Olsen[12] is also established.

1970 ◽  
Vol 35 (1) ◽  
pp. 60-64 ◽  
Author(s):  
Jack Silver

If X is a set, [Χ]ω will denote the set of countably infinite subsets of X. ω is the set of natural numbers. If S is a subset of [ω]ω, we shall say that S is Ramsey if there is some infinite subset X of ω such that either [Χ]ω ⊆ S or [Χ]ω ∩ S = 0. Dana Scott (unpublished) has asked which sets, in terms of logical complexity, are Ramsey.The principal theorem of this paper is: Every Σ11 (i.e., analytic) subset of [ω]ω is Ramsey (for the Σ, Π notations, see Addison [1]). This improves a result of Galvin-Prikry [2] to the effect that every Borel set is Ramsey. Our theorem is essentially optimal because, if the axiom of constructibility is true, then Gödel's Σ21 Π21 well-ordering of the set of reals [3], having the convenient property that the set of ω-sequences of reals enumerating initial segments is also Σ21 ∩ Π21, rather directly gives a Σ21 ∩ Π21 set which is not Ramsey. On the other hand, from the assumption that there is a measurable cardinal we shall derive the conclusion that every Σ21 (i.e., PCA) is Ramsey. Also, we shall explore the connection between Martin's axiom and the Ramsey property.


1996 ◽  
Vol 119 (2) ◽  
pp. 287-295 ◽  
Author(s):  
K. J. Falconer ◽  
J. D. Howroyd

AbstractWe show that if E is an analytic subset of ℝn thenfor almost all m–dimensional subspaces V of ℝn, where projvE is the orthogonal projection of E onto V and dimp denotes packing dimension. The same inequality holds for lower and upper box counting dimensions, and these inequalities are the best possible ones.


Mathematics ◽  
2019 ◽  
Vol 7 (4) ◽  
pp. 372
Author(s):  
Liu He ◽  
Qi-Lin Wang ◽  
Ching-Feng Wen ◽  
Xiao-Yan Zhang ◽  
Xiao-Bing Li

In this paper, we introduce the notion of higher-order weak adjacent epiderivative for a set-valued map without lower-order approximating directions and obtain existence theorem and some properties of the epiderivative. Then by virtue of the epiderivative and Benson proper efficiency, we establish the higher-order Mond-Weir type dual problem for a set-valued optimization problem and obtain the corresponding weak duality, strong duality and converse duality theorems, respectively.


1994 ◽  
Vol 115 (3) ◽  
pp. 527-544 ◽  
Author(s):  
Xiaoyu Hu ◽  
S. James Taylor

AbstractBorel measures in ℝd are called fractal if locally at a.e. point their Hausdorff and packing dimensions are identical. It is shown that the product of two fractal measures is fractal and almost all projections of a fractal measure into a lower dimensional subspace are fractal. The results rely on corresponding properties of Borel subsets of ℝd which we summarize and develop.


2011 ◽  
Vol 2011 ◽  
pp. 1-9 ◽  
Author(s):  
S. K. Padhan ◽  
C. Nahak

We introduce a higher-order duality (Mangasarian type and Mond-Weir type) for the control problem. Under the higher-order generalized invexity assumptions on the functions that compose the primal problems, higher-order duality results (weak duality, strong duality, and converse duality) are derived for these pair of problems. Also, we establish few examples in support of our investigation.


Author(s):  
G.–Y. Chen ◽  
B. D. Craven

AbstractAn approximate dual is proposed for a multiobjective optimization problem. The approximate dual has a finite feasible set, and is constructed without using a perturbation. An approximate weak duality theorem and an approximate strong duality theorem are obtained, and also an approximate variational inequality condition for efficient multiobjective solutions.


2012 ◽  
Vol 77 (2) ◽  
pp. 447-474 ◽  
Author(s):  
Chris J. Conidis

AbstractRecently, the Dimension Problem for effective Hausdorff dimension was solved by J. Miller in [14], where the author constructs a Turing degree of non-integral Hausdorff dimension. In this article we settle the Dimension Problem for effective packing dimension by constructing a real of strictly positive effective packing dimension that does not compute a real of effective packing dimension one (on the other hand, it is known via [10. 3. 7] that every real of strictly positive effective Hausdorff dimension computes reals whose effective packing dimensions are arbitrarily close to, but not necessarily equal to, one).


1989 ◽  
Vol 114 ◽  
pp. 123-133 ◽  
Author(s):  
S. E. Graversen

The topic of this note is the Riesz decomposition of excessive functions for a “nice” strong Markov process X. I.e. an excessive function is decomposed into a sum of a potential of a measure and a “harmonic” function. Originally such decompositions were studied by G.A. Hunt [8]. In [1] a Riesz decomposition is given assuming that the state space E is locally compact with a countable base and X is a transient standard process in strong duality with another standard process having a strong Feller resolvent. Recently R.K. Getoor and J. Glover extended the theory to the case of transient Borei right processes in weak duality [6].


Fractals ◽  
1995 ◽  
Vol 03 (04) ◽  
pp. 747-754 ◽  
Author(s):  
M. ZÄHLE

In this note we introduce the concept of local average dimension of a measure µ, at x∈ℝn as the unique exponent where the lower average density of µ, at x jumps from zero to infinity. Taking the essential infimum or supremum over x we obtain the lower and upper average dimensions of µ, respectively. The average dimension of an analytic set E is defined as the supremum over the upper average dimensions of all measures supported by E. These average dimensions lie between the corresponding Hausdorff and packing dimensions and the inequalities can be strict. We prove that the local Hausdorff dimensions and the local average dimensions of µ at almost all x are invariant under orthogonal projections onto almost all m- dimensional linear subspaces of higher dimension. The corresponding global results for µ and E (which are known for Hausdorff dimension) follow immediately.


Sign in / Sign up

Export Citation Format

Share Document