arxiv: v1 [math.mg] 12 Aug 2011


 Ronald Jordan Martin
 12 days ago
 Views:
Transcription
1 On the packing dimension of boxlike selfaffine sets in the plane Jonathan M. Fraser Mathematical Institute, University of St. Andrews, North Haugh, St. Andrews, Fife, KY6 9SS, Scotl arxiv: v [math.mg] 2 Aug 20 April 28, 203 Abstract We consider a class of planar selfaffine sets which we call boxlike. A boxlike selfaffine set is the attractor of an iterated function system IFS of affine maps where the image of the unit square, [0, ] 2, under arbitrary compositions of the maps is a rectangle with sides parallel to the axes. This class contains the BedfordMcMullen carpets the generalisations thereof considered by LalleyGatzouras, Barański FengWang as well as many other sets. In particular, we allow the mappings in the IFS to have nontrivial rotational reflectional components. Assuming a rectangular open set condition, we compute the packing boxcounting dimensions by means of a pressure type formula based on the singular values of the maps. Mathematics Subject Classification 200: primary: 28A80, secondary: 28A78, 5A8. Key words phrases: packing dimension, box dimension, selfaffine, singular value function, subadditivity, projections. Introduction The singular values of a linear map, A : R n R n, are the positive square roots of the eigenvalues of A T A. Geometrically these numbers represent the lengths of the semiaxes of the image of the unit ball under A. Thus, roughly speaking, the singular values correspond to how much the affine map contracts or exps in different directions. For s [0, n] define the singular value function φ s A by φ s A = α α 2... α s α s s + s. where α... α n are the singular values of A. This function has played a vital rôle in the study of selfaffine sets over the past 25 years in this paper we introduce a modified singular value function 2. which is designed specifically to compute the packing dimension. Given an iterated function system IFS consisting of contracting affine maps, {A i + t i } m i=, where the A i are linear contractions the t i are translation vectors, it is wellknown that there exists a unique nonempty compact set F satisfying m F = S i F i= which is termed the selfaffine attractor of the IFS. Let I k denote the set of all sequences i,..., i k, where each i j {,..., m}, let { } da,..., A m = inf s : φ s A i A ik <..2 k= I k This number is called the affinity dimension of F is always an upper bound for the upper box dimension of F. Moreover, Falconer proved the following result in the seminal paper [F], published in 988. We write m i= Ln to denote the mfold product of ndimensional Lebesgue measure, supported on the space m i= Rn, dim B, dim P dim H to denote the boxcounting, packing Hausdorff dimensions, respectively.
2 Theorem.. Let A,..., A m be contracting linear selfmaps on R n with Lipshitz constants strictly less than /2. Then, for m i= Ln almost all t,..., t m m i= Rn, the unique nonempty compact set F satisfying m F = A i + t i F has i= dim B F = dim P F = dim H F = min { n, d A,..., A m }. In fact, the initial proof required that the Lipshitz constants be strictly less than /3 but this was relaxed to /2 by Solomyak [S] who also showed that /2 is the optimal constant. Despite the elegance of the above result, it seems difficult to calculate the exact dimension of a selfaffine set in general. However, exact calculation of dimension in certain exceptional cases has attracted a great deal of interest in recent years. The first example was the BedfordMcMullen carpet. Take the unit square, [0, ] 2, divide it up into an m n grid for some m, n N with < m n. Then select a subset of the rectangles formed by the grid consider the IFS consisting of the affine maps which map [0, ] 2 onto each chosen rectangle, preserving orientation. Bedford [Be] McMullen [Mc] independently obtained explicit formulae for the boxcounting, packing Hausdorff dimensions of the attractor. In general the Hausdorff dimension box dimension can be different can be strictly less than the affinity dimension. However, if the maps are chosen such that the projection onto the horizontal axis is an interval having dimension, then the box dimension equals the affinity dimension. Our results help to formalise this observation for a much larger class of selfaffine sets, see Corollaries Figure : A selfaffine BedfordMcMullen carpet with m = 4, n = 5. The shaded rectangles on the left indicate the 6 maps in the IFS. Gatzouras Lalley [GL] generalised the BedfordMcMullen construction by allowing the columns to have varying widths be divided up, independently, with the only restriction being that the base of each rectangle had to be greater than or equal to the height. Barański [B2] divided the unit square up into an arbitrary mesh of rectangles by slicing horizontally vertically a finite number of times at least once in each direction. Also, Feng Wang [FW] considered a construction where the rectangles did not have to be aligned as in the Barański type IFSs. This added complication meant that the box dimension of the attractor was given in terms of the dimensions of its projection onto the horizontal vertical axes. 2
3 Figure 2: Three examples of IFSs of the types considered by GatzourasLalley, Barański FengWang, respectively. The shaded rectangles represent the affine maps. In all of the aforementioned examples the affine maps are orientation preserving. In this paper we relax this requirement by allowing the maps to have nontrivial rotational reflectional components. We refer to the attractors of such systems as boxlike sets give their formal definition in Section.. In Section 2 we compute the packing boxcounting dimensions by means of a pressure type formula based on the singular values of the maps. As in [FW] the dimension of projections will be significant.. Boxlike selfaffine sets notation We call a selfaffine set boxlike if it is the attractor of an IFS of affine maps where the image of the unit square, [0, ] 2, under arbitrary compositions of the maps is a rectangle with sides parallel to the axes. The affine maps which make up such an IFS are necessarily of the form S = T L + t, where T is a contracting linear map of the form a 0 T = 0 b for some a, b 0, ; L is a linear isometry of the plane for which L[, ] 2 = [, ] 2 ; t R 2 is a translation vector. The following separation condition, which we will need to obtain the lower bound in our dimension result, was introduced in [FW]. Definition.2. An IFS {S i } m i= satisfies the rectangular open set condition ROSC if there exists a nonempty open rectangle, R = a, b c, d R 2, such that {S i R} m i= are pairwise disjoint subsets of R. If, for all maps in the IFS, we let L be the identity map assume the rectangular open set condition, then we obtain the class of selfaffine sets considered by Feng Wang [FW]. Let {S i } i I be an IFS consisting of maps of the form described above for some finite index set I, with I 2, let F be the corresponding attractor, i.e., the unique nonempty compact set satisfying F = S i F. i I We refer to F as the boxlike selfaffine set. It is clear that we may choose a compact square Q R 2 such that i I S iq Q. Without loss of generality we will assume throughout that we may choose Q = [0, ] 2. Let I A = {i I : S i maps horizontal lines to horizontal lines} I B = {i I : S i maps horizontal lines to vertical lines}. If I B =, then we will say F is of separated type otherwise we will say that F is of nonseparated type. It will become clear why we make this distinction in the following section. Write I = k Ik to denote the set of all finite sequences with entries in I for i = i, i 2,..., i k I 3
4 write S i = S i S i2 S ik α i α 2 i for the singular values of the linear part of the map S i. Note that, for all i I, the singular values, α i α 2 i, are just the lengths of the sides of the rectangle S i [0, ] 2. Finally, let α min = min{α 2 i : i I} α max = max{α i : i I}. Recall that the lower upper boxcounting dimensions of a bounded set F R d are defined by dim B F = lim inf δ 0 dim B F = lim sup δ 0 log N δ F log δ log N δ F log δ respectively, where N δ F is the smallest number of sets required for a δcover of F, or, alternatively, the number of closed squares in a δmesh which intersect F. If dim B F = dim B F, then we call the common value the boxcounting dimension of F denote it by dim B F. Although we will always refer to dim B as the boxcounting dimension, or just box dimension, it is also commonly referred to by other names, for example, the entropy dimension or Minkowski dimension. Our results also concern packing dimension, dim P, however, we will not use its definition directly so we omit it. For the definitions of packing measure dimension, as well as a discussion of various properties of box dimension the interplay between packing box dimension, the reader is referred to [F5]. 2 Results In this section we will state our main results. The dimension formula, which relies on the knowledge of the dimensions of the projection of F onto the horizontal vertical axes, will be given in Section 2.. In Section 2.2 we will discuss the problem of calculating the dimensions of the relevant projections. 2. The dimension formula Let π, π 2 : R 2 R be defined by π x, y = x π 2 x, y = y respectively. Also, let s = dim B π F s 2 = dim B π 2 F. It can be shown that both dim B π F dim B π 2 F exist using the implicit theorems found in [F2, M], or, alternatively, see Lemma 2.7 in Section 2.2. For i I, let bi = π S i [0, ] 2 hi = π 2 S i [0, ] 2 denote the length of the base height of the rectangle S i [0, ] 2 respectively define π i : R 2 R by π if i I A bi hi π π i = 2 if i I A bi < hi π if i I B bi < hi if i I B bi hi π 2 Finally, let si = dim B π i F. In fact, si is simply the box dimension of the projection of S i F onto the longest side of the rectangle S i [0, ] 2 is always equal to either s or s 2. For s 0 i I, we define the modified singular value function, ψ s, of S i by for s 0 k N, we define a number Ψ s k by Ψ s k = ψ s S i = α i si α 2 i s si, 2. i I k ψ s S i. 4
5 Lemma 2. multiplicative properties. a For s 0 i, j I we have a If s < s + s 2, then ψ s S i S j ψ s S i ψ s S j ; a2 If s = s + s 2, then ψ s S i S j = ψ s S i ψ s S j ; a3 If s > s + s 2, then ψ s S i S j ψ s S i ψ s S j. b For s 0 k, l N we have b If s < s + s 2, then Ψ s k+l Ψs k Ψs l ; b2 If s = s + s 2, then Ψ s k+l = Ψs k Ψs l ; b3 If s > s + s 2, then Ψ s k+l Ψs k Ψs l. We will prove Lemma 2. in Section 4.. It follows from Lemma 2. stard properties of sub supermultiplicative sequences that that we may define a function P : [0, [0, by: where, in fact, lim Ψs k /k = P s = lim Ψs k /k inf k N Ψ s k /k if s [0, s + s 2 Ψ s if s = s + s 2 sup k N Ψ s k /k if s s + s 2, We think of P as being akin to a Bowenlike pressure function. Although P is not a pressure function in the usual sense of the word, it is the exponential of the subadditive function P s = lim k log Ψs k which one might call the topological pressure of the system. Lemma 2.2 Properties of P. For all s, t 0 we have α s minp t P s + t α s maxp t furthermore, setting t = 0, we have, for all s 0 where P 0 [ I, is a constant; 2 P is continuous on [0, ; 3 P is strictly decreasing on [0, ; 0 < α s minp 0 P s α s maxp 0 <, 4 There is a unique value s 0 for which P s =. We will prove Lemma 2.2 in Section 4. We can now state our main result concerning the packing boxcounting dimensions for boxlike selfaffine sets. Theorem 2.3. Let F be a boxlike selfaffine set. Then dim P F = dim B F s where s 0 is the unique solution of P s =. Furthermore, if the ROSC is satisfied, then dim P F = dim B F = s. We will prove Theorem 2.3 in Section 5. We will now give two corollaries of Theorem 2.3 which show that the dimension formula can be simplified in certain situations. The first of which deals with the case where s = s 2. This will occur, for example, if F is of nonseparated type see Lemma
6 Corollary 2.4. Let F be a boxlike selfaffine set which satisfies the ROSC is such that s = s 2 =: t. Then dim P F = dim B F = s, where s satisfies /k lim α i t α 2 i s t =. i I k The second corollary deals with the case where s = s 2 =. Some easily verified sufficient conditions for this to occur are given in Lemma 2.8. Corollary 2.5. Let F be a boxlike selfaffine set which satisfies the ROSC is such that s = s 2 =. Then dim P F = dim B F = d where d is the affinity dimension.2. To prove Corollary 2.5 simply observe that, if s = s 2 =, then our modified singular value function 2. coincides with the singular value function. in the range s [, 2]. Furthermore, it is clear that the dimension lies in this range therefore the unique value of s satisfying P s = is the affinity dimension. The converse of Corollary 2.5 is not true. In particular, it is not true that if both s s 2 are strictly less than, then the packing dimension is strictly less than the affinity dimension for example, some selfsimilar sets. However, it is possible to give simple sufficient conditions for the packing dimension to drop from the affinity dimension. For example, if both s s 2 are strictly less than min{, d}, where d is the affinity dimension, there exists a constant η 0, such that for all k N all i I k, α 2 i η k α i, then the packing dimension of the attractor is strictly less than the affinity dimension. To see this let ɛ = min{, d} max{s, s 2 } > 0 d be the affinity dimension note that /k P d = inf ψ d S i inf k k i I k from which it follows that dim P F < d. i I k φ d S i ɛ /k α2 i η ɛ < α i Since dim B F s + s 2, it is clear that the solution of P s = always lies in the range [0, s + s 2 ]. Even in the case where s s 2 can be computed it still may be very difficult to compute the solution of P s = explicitly. However, since the solution lies in the submultiplicative region, it can be numerically estimated from above by considering the sequence {s k } k N where each s k is defined by Ψ s k k = is an upper bound for the dimension. We will now present one final corollary of Theorem 2.3 which shows that for a certain class of boxlike selfaffine sets of separated type the dimension may be calculated explicitly due to the modified singular value function being multiplicative for all s rather than sub or supermultiplicative. Corollary 2.6. Let F be a boxlike selfaffine set of separated type which satisfies the ROSC. Furthermore, assume that each map, S i, in the IFS has singular values α i α 2 i where the larger singular value, α i, corresponds to contracting in the horizontal direction. Then where s is the unique solution of dim P F = dim B F = s α i s α 2 i s s =. i I Furthermore, if s =, then s is the affinity dimension. Proof. It may be gleaned from the proof of Lemma 2. a, case i, that, in the situation described above, the modified singular value function is multiplicative. It follows that the unique solution of P s = satisfies Ψ s =. 6
7 Corollary 2.6 is similar to Corollary in [FW] but our result covers a much larger class of sets since we allow the maps in the IFS to have nontrivial reflectional rotational components whilst ensuring that F is of separated type. Although in a different context, a problem related to Corollary 2.6 was studied in [H]. There the author proved a version of Bowen s formula for a class of nonconformal C 2 exping maps for which the expansion is stronger in one particular direction. The idea to study boxlike selfaffine sets came from [FO]. There the authors consider selfsimilar sets, in particular, how varying the rotational or reflectional component of the mappings affects the symmetry of the attractor. Their approach relies on various group theoretic techniques. One thing to note is that, given the OSC, changing the rotational or reflectional component of the mappings in an IFS of similarities does not change the dimension. As we have shown unsurprisingly the situation is more complicated in the selfaffine case, see the examples below. It would be interesting to conduct an analysis similar to that found in [FO] in the selfaffine case with the added complication that one could consider changes in dimension as well as changes in the symmetry of the selfaffine attractor. 2.2 Dimensions of projections The dimension formula given in Section 2. depends on knowledge of s s 2, i.e., the dimensions of the projections of F onto the horizontal vertical axes, respectively. A priori, s s 2 are difficult to calculate explicitly, or even to obtain good estimates for. In this section we examine this problem show that it is possible to compute s s 2 explicitly in a number of cases. Lemma 2.7. If F is of separated type, then π F π 2 F are selfsimilar sets. If F is of nonseparated type, then π F π 2 F are a pair of graphdirected selfsimilar sets, moreover, the associated adjacency matrix for the graphdirected system is irreducible. In this second case, it follows that s = s 2. We will prove Lemma 2.7 in Section 4.3. It follows from Lemma 2.7 that the box dimensions of the projections exist so s s 2 are welldefined. The problem with calculating the dimension of π F π 2 F is that the IFSs eluded to in Lemma 2.7 may not satisfy the open set condition OSC, or graphdirected open set condition GDOSC. However, in certain cases we will be able to invoke the finite type conditions introduced in [JY, LN, NW] generalised to the graphdirected situation in [NWD]. In this situation, despite the possible failure of the OSC or GDOSC we can view the projections as attractors of alternative IFSs or graphdirected IFSs where the necessary separation conditions are satisfied. We can then compute s s 2 using a stard formula, see, for example, [F4]. An example of this will be given in Section 3.. There is one further situation where, even if the previously mentioned finite type conditions are not satisfied, we can still compute s s 2. In this case we will say that F is of block type. Lemma 2.8 block type. Let H be any closed, path connected set which contains F is not contained in any vertical or horizontal line. If π S i H = π H 2.2 then s = s 2 =. i I π 2 i I S i H = π 2 H, 2.3 Proof. This follows immediately since, by , π F π 2 F are intervals. 3 Examples In order to illustrate our results we will now present two examples compute the packing box dimensions. We will also examine what effect the rotational reflectional components have on the dimension. In both cases it will be clear that the ROSC is satisfied, taking R = 0, 2. All rotations are taken to be clockwise about the origin all numerical estimations were calculated in Maple using the method outlined at the end of Section 2. 7
8 3. Nonseparated type In this section we consider an example of a boxlike selfaffine set of nonseparated type. Let F be the attractor of the IFS consisting of the maps which take [0, ] 2 to the 3 shaded rectangles on the left h part of Figure 3, where the linear parts have been composed with: rotation by 270 degrees top right; rotation by 90 degrees bottom right; reflection in the vertical axis left. Figure 3: Levels, 3 7 in the construction of F. Here, π F π 2 F are a pair of graphdirected selfsimilar sets of finite type. It is easy to see that in fact π F = π F 2 5 π 2F π 2 F = 4 π F 2 π 2F π F. with the GDOSC satisfied for this system. The associated adjacency matrix is A t = 2 5 t 2 5 t 2 4 t 2 t solving ρ A t =, where ρ A t is the spectral radius of A t, for t yields s = s 2 =: t , see [F4]. Theorem 2.3 now gives that dim P F = dim B F = s where s 0 is the unique solution of /k lim α i t α 2 i s t =, i I k which was estimated numerically to be about.09. If we considered the same construction but with no rotations or reflections then we would have a selfaffine set of the type considered by Barański. In this case, results in [B2] give us that the box dimension is approximately.349, which is certainly larger than the dimension we obtained for our construction. 3.2 Block type In this section we consider an example of a boxlike selfaffine set of block type. Let F be the attractor of the IFS consisting of the maps S, S 2 S 3 defined by S = R 0 + 0,, 0 S 2 = S 3 = R 2 + 4, 7 0 R 3 +, 0, 8
9 where R is reflection in the horizontal axis, R 2 is rotation by 90 degrees R 3 is reflection in the vertical axis. Figure 4: Levels 4, 5 6 in the construction of F. The boxes in the first image on the left indicate the mappings. It is clear that F is of block type, taking H = [0, ] 2 in Lemma 2.8, so s = s 2 =. Theorem 2.3 now gives that dim P F = dim B F = s where s 0 is the unique solution of /k lim α i α 2 i s =. i I k This was estimated numerically to be around.5, which, by Corollary 2.5, coincides with the affinity dimension. Again, let us consider the same construction but with no rotational or reflectional components in the mappings. In this case we have a selfaffine set of the type considered by Feng Wang results in [FW] give that the box dimension is approximately.8405, which is again larger than for our construction. 4 Proofs of preliminary lemmas 4. Proof of Lemma 2. We will first prove part a by a case by case analysis. Part b will then follow easily. Proof of a. a Let s [0, s + s 2 let i, j I. Firstly, assume that F is of nonseparated type. It follows that s = s 2 =: t. We have ψ s S i S j = α ij t α 2 ij s t = = s t α ij α 2 ij α ij 2t s s t α i α 2 iα j α 2 j α ij 2t s s t s t 2t s α i α 2 i α j α 2 j α i α j since 2t s > 0 = ψ s S i ψ s S j proving a in the nonseparated case. Secondly, assume that F is of separated type assume, in addition, that bi hi, recalling that bi hi are the lengths of the base height of the rectangle S i [0, ] 2 respectively. The case where bi < hi is analogous. We now have the following three cases: 9
10 i bj hj bij hij ; ii bj < hj bij hij ; iii bj < hj bij < hij. The key property that we will utilise here is that, since F is of separated type, bij = bi bj hij = hi hj. Note that this precludes the case: bj hj bij < hij. To complete the proof of a we will show that, in each of the above cases iiii, we have ψ s S i S j ψ s S i ψ s. S j i We have ii Similarly ψ s S i S j ψ s S i ψ s S j = bij s hij s s =. bi s hi s s bj s s s hj iii Finally ψ s S i S j ψ s S i ψ s S j = ψ s S i S j ψ s S i ψ s S j = bij s hij s s bi s hi s s hj s2 bj s s2 = hij s2 bij s s2 bi s hi s s hj s2 bj s s2 = The proofs of a2 a3 are similar, therefore, omitted. Proof of b. This follows easily by noting that, for all k, l N, we have Ψ s k+l = ψ s S i = ψ s S i S j i I k+l i I k j I l applying part a. Ψ s k Ψ s l = 4.2 Proof of Lemma 2.2 Let s, t [0,. We have P s+t = lim i I k ψ s S i i I k α i si α 2 i s+t si i I l ψ s S j /k lim = i I k α ks max The proof of the left h inequality is similar. Furthermore, note that > inf k 0 Ψ0 k k = P 0 = lim i I k α i si α 2 i si s+s bj 2 s. hj s+s hi 2 s. bi j I l ψ s S i ψ s S j i I k α i si α 2 i t si /k lim together with setting t = 0 above gives the second chain of inequalities. 2 The continuity of P follows immediately from. 3 Let t, ε 0. Since P t + ε, P t 0,, by we have P t + ε P t α ε max < i I k /k = α s maxp t. /k = I 0
11 so P is strictly decreasing on [0,. 4 It follows from that P 0 I > that P s < for sufficiently large s. These facts, combined with parts 2 3, imply that there is a unique value of s for which P s =. 4.3 Proof of Lemma 2.7 Let I, I 2 : [0, ] [0, ] 2 be defined by I x = x, 0 I 2 y = 0, y. Also, for i I a, b {, 2}, we define a contracting similarity mapping S a,b i = π a S i I b. S a,b i : [0, ] [0, ] by a,b For certain choices of a, b i the image S i [0, ] is a singleton. We will not be interested in these maps. Also, let X = π F Y = π 2 F. It is clear that X = S, i X S,2 i Y 4. i I A Y = i I A i I B S2,2 i Y i I B S2, i X. 4.2, 2,2 It follows that if I B =, then X Y are the selfsimilar attractors of the IFSs { S i } i I { S i } i I respectively if I B, then X Y are a pair of graphdirected selfsimilar sets with an irreducible associated adjacency matrix defined by This proves Lemma Proof of Theorem 2.3 We will now prove our main result, that the packing boxcounting dimensions of F are equal to the unique s which satisfies P s =. We will prove this in the box dimension case it is wellknown that, since F is compact every open ball centered in F contains a bilipshitz image of F, dim P F = dim B F, see [F5]. Let s 0 be the unique solution of P s =. For let i = i, i 2,..., i k, i k I i = i, i 2,..., i k I {ω}, where ω is the empty word. Note that the map S ω is taken to be the identity map, which has singular values both equal to. For δ 0, ] we define the δstopping, I δ, as follows: I δ = { i I : α 2 i < δ α 2 i }. Note that for i I δ we have Lemma 5.. Let t 0. α min δ α 2 i < δ. 5. If t > s, then there exists a constant Kt < such that ψ t S i Kt for all δ 0, ].
12 2 If t < s, then there exists a constant Lt > 0 such that ψ t S i Lt for all δ 0, ]. Proof. Let t > s δ 0, ]. We have ψ t S i ψ t S i = ψ t S i = Ψ t k < i I k= i I k k= since lim Ψ t k /k = P t <. The result follows, setting Kt = k= Ψt k. 2 Let t < s. Consider two cases according to whether t is in the submultiplicative region [0, s + s 2 ], or supermultiplicative region s + s 2,. We will be able to deduce retrospectively that s s + s 2 so the second case is, in fact, vacuous. It would be possible to prove part 2 only in the submultiplicative case then obtain the result that the dimension is given by min{s, s + s 2 } but in order to conclude that the dimension is simply s, we include the proof in the supermultiplicative case. i 0 t s + s 2. We remark that an argument similar to the following was used in [F]. Let δ 0, ] assume that ψ t S i. 5.2 To obtain a contradiction we will show that this implies that t s. Let kδ = max{ i : i I δ }, where i denotes the length of the string i, define I δ,k by I δ,k = { i... i m : i j I δ for all j =,..., m, i... i m k but i... i m i m+ > k for some i m+ I δ }. For all i I we have, by the submultiplicativity of ψ t, ψ t S i j ψ t S i ψ t S j j I δ j I δ = ψ t S i < ψ t S i j I δ ψ t S j by 5.2. It follows by repeated application of the above that, for all k N,,k ψ t S i. 5.3 Let i I k for some k N. It follows that i = j j 2 for some j I δ,k some j 2 I {ω} with j 2 kδ by the submultiplicativity of ψ t, ψ t S i = ψ t S j j 2 ψ t S j ψ t S j 2 c kδ ψ t S j, where c kδ = max{ψ t S i : i kδ} < is a constant which depends only on δ. Since there are at most I kδ+ elements j 2 I {ω} with j 2 kδ we have Ψ t k = ψ t S i I kδ+ c kδ ψ t S i I kδ+ c kδ i I k,k by 5.3. Since this is true for all k N we have P t = lim Ψ t /k k 2
13 from which it follows that t s. So, if t s + s 2, then we may set Lt =. ii t > s + s 2. Since t < s it follows that i I k ψt S i as k. that Therefore, we may fix a k N such ψ t S i. 5.4 i I k Fix δ 0, ] define I k,δ = { i... i m : i j I k for all j =,..., m, α 2 i... i m δ but α 2 i... i m i m+ < δ for some i m+ I k}. For all i I we have, by the supermultiplicativity of ψ t, ψ t S i j ψ t S i ψ t S j j I k j I k = ψ t S i ψ t S i by 5.4. It follows by repeated application of the above that j I k ψ t S j i I k,δ ψ t S i. 5.5 Let i I δ. It follows that i = j j 2 for some j I k,δ some j 2 I. Since α 2 i δ α min by 5. α 2 j δα k min we have α 2 j α 2 iα k+ min α 2 j α j 2 maxα k+ min 5.6 { } log αmin which yields j 2 k + log α max. Setting c k = min ψ t log αmin S i : i k + log α max > 0 it follows from 5.6, 5.5 the supermultiplicativity of ψ t that ψ t S i c k ψ t S i c k. i I k,δ We have now proved part 2 setting Lt = min{, c k } = c k. Note that although Lt appears to depend on k, recall that we fixed k at the beginning of the proof of 2ii the choice of k depended only on t. We are now ready to prove Theorem 2.3. It follows immediately from the definition of box dimension that for all ε > 0 there exists C ε such that for all δ > 0 we have Upper bound assuming no separation conditions C ε δ s+ε/2 N δ π F C ε δ s ε/2 5.7 C ε δ s2+ε/2 N δ π 2 F C ε δ s2 ε/ Let ε > 0, δ > 0 suppose that, for each i I δ, {U i,j } N δf i j= is a δcover of F i. Since F = F i it follows that N δ F i j= {U i,j } 3
14 is a δcover for F. Whence, 0 δ s+ε N δ F δ s+ε N δ = δ s+ε δ s+ε Fi N δ/αi C ε C ε α s ɛ min C ε α s ɛ min πi F since α 2 i < δ si ε/2 δ by α i α i si+ε/2 α 2 i s+ε si ε/2 ψ s+ɛ/2 i C ε α s ε min K s + ε 2 by 5. by Lemma 5.. It follows that dim B F s + ε, since ε > 0 was arbitrary, we have the desired upper bound. Lower bound assuming the ROSC Let ε 0, s, δ > 0 U be any closed square of sidelength δ. Also, let R be the open rectangle used in the ROSC let r denote the length of the shortest side of R. Finally, let M = min { n N : n α min r + }. Since {S i R} i Iδ is a collection of pairwise disjoint open rectangles each with shortest side having length at least α min δr, it is clear that U can intersect no more that M 2 of the sets {F i } i Iδ. It follows that, using the δmesh definition of N δ, we have Fi M 2 N δ F. This yields δ s ε N δ F δ s ε M 2 = δ s ε M 2 δ s ε M 2 M 2 C ε N δ N δ Fi N δ/αi C ε πi F since α 2 i < δ si+ε/2 δ by α i α 2 i s ε α min α 2 i si+ε/2 α i si ε/2 by 5. = M 2 C ε α min α i si ε/2 α 2 i s ε/2 si M 2 C ε α min ψ s ε/2 i M 2 C ε α min L s ε 2 by Lemma It follows that dim B F s ε, since ε 0, s was arbitrary, we have the desired lower bound. Acknowledgements The author thanks Kenneth Falconer for many helpful discussions during the writing of this paper. He was supported by an EPSRC Doctoral Training Grant. 4
15 References [B2] K. Barański. Hausdorff dimension of the limit sets of some planar geometric constructions, Adv. Math., 20, 2007, [Be] T. Bedford. Crinkly curves, Markov partitions box dimensions in selfsimilar sets, Ph.D dissertation, University of Warwick, 984. [F] K. J. Falconer. The Hausdorff dimension of selfaffine fractals, Math. Proc. Camb. Phil. Soc., 03, 988, [F2] K. J. Falconer. Dimensions measures of quasi selfsimilar sets, Proc. Amer. Math. Soc., 06, 989, [F4] K. J. Falconer. Techniques in Fractal Geometry, John Wiley, 997. [F5] K. J. Falconer. Fractal Geometry: Mathematical Foundations Applications, John Wiley, 2nd Ed., [FO] K. J. Falconer J. J. O Connor. Symmetry enumeration of selfsimilar fractals, Bull. London Math. Soc., 39, 2007, [FW] D.J. Feng. Y. Wang. A class of selfaffine sets selfaffine measures, J. Fourier Anal. Appl.,, 2005, [GL] D. Gatzouras S. P. Lalley. Hausdorff box dimensions of certain selfaffine fractals, Indiana Univ. Math. J., 4, 992, [H] H. Hu. Box dimensions topological pressure for some exping maps, Commun. Math. Phys., 9, 998, [JY] N. Jin S. S. T. Yau. General finite type IFS Mmatrix, Commun. Anal. Geom., 3, 2005, [LN] K.S. Lau S.M. Ngai. A generalized finite type condition for iterated function systems, Adv. Math., 208, 2007, [M] J. McLaughlin. A note on Hausdorff measures of quasiselfsimilar sets, Proc. Amer. Math. Soc., 00, 987, [Mc] C. McMullen. The Hausdorff dimension of general Sierpiński carpets, Nagoya Math. J., 96, 984, 9. [NW] S.M. Ngai Y. Wang. Hausdorff dimension of selfsimilar sets with overlaps, J. London Math. Soc., 63, 200, [NWD] S.M. Ngai, F. Wang X. Dong. Graphdirected iterated function systems satisfying the generalized finite type condition, Nonlinearity, 23, 200, [S] B. Solomyak. Measure dimension for some fractal families, Math. Proc. Camb. Phil. Soc., 24, 998,
Metric Spaces. Chapter 7. 7.1. Metrics
Chapter 7 Metric Spaces A metric space is a set X that has a notion of the distance d(x, y) between every pair of points x, y X. The purpose of this chapter is to introduce metric spaces and give some
More informationINDISTINGUISHABILITY OF ABSOLUTELY CONTINUOUS AND SINGULAR DISTRIBUTIONS
INDISTINGUISHABILITY OF ABSOLUTELY CONTINUOUS AND SINGULAR DISTRIBUTIONS STEVEN P. LALLEY AND ANDREW NOBEL Abstract. It is shown that there are no consistent decision rules for the hypothesis testing problem
More informationarxiv:1203.1525v1 [math.co] 7 Mar 2012
Constructing subset partition graphs with strong adjacency and endpoint count properties Nicolai Hähnle haehnle@math.tuberlin.de arxiv:1203.1525v1 [math.co] 7 Mar 2012 March 8, 2012 Abstract Kim defined
More informationNOTES ON LINEAR TRANSFORMATIONS
NOTES ON LINEAR TRANSFORMATIONS Definition 1. Let V and W be vector spaces. A function T : V W is a linear transformation from V to W if the following two properties hold. i T v + v = T v + T v for all
More informationNo: 10 04. Bilkent University. Monotonic Extension. Farhad Husseinov. Discussion Papers. Department of Economics
No: 10 04 Bilkent University Monotonic Extension Farhad Husseinov Discussion Papers Department of Economics The Discussion Papers of the Department of Economics are intended to make the initial results
More informationDuality of linear conic problems
Duality of linear conic problems Alexander Shapiro and Arkadi Nemirovski Abstract It is well known that the optimal values of a linear programming problem and its dual are equal to each other if at least
More informationMath 4310 Handout  Quotient Vector Spaces
Math 4310 Handout  Quotient Vector Spaces Dan Collins The textbook defines a subspace of a vector space in Chapter 4, but it avoids ever discussing the notion of a quotient space. This is understandable
More informationThe minimum number of distinct areas of triangles determined by a set of n points in the plane
The minimum number of distinct areas of triangles determined by a set of n points in the plane Rom Pinchasi Israel Institute of Technology, Technion 1 August 6, 007 Abstract We prove a conjecture of Erdős,
More informationChapter 6. Cuboids. and. vol(conv(p ))
Chapter 6 Cuboids We have already seen that we can efficiently find the bounding box Q(P ) and an arbitrarily good approximation to the smallest enclosing ball B(P ) of a set P R d. Unfortunately, both
More informationTHREE DIMENSIONAL GEOMETRY
Chapter 8 THREE DIMENSIONAL GEOMETRY 8.1 Introduction In this chapter we present a vector algebra approach to three dimensional geometry. The aim is to present standard properties of lines and planes,
More information1 if 1 x 0 1 if 0 x 1
Chapter 3 Continuity In this chapter we begin by defining the fundamental notion of continuity for real valued functions of a single real variable. When trying to decide whether a given function is or
More information1. Prove that the empty set is a subset of every set.
1. Prove that the empty set is a subset of every set. Basic Topology Written by MenGen Tsai email: b89902089@ntu.edu.tw Proof: For any element x of the empty set, x is also an element of every set since
More informationContinuity of the Perron Root
Linear and Multilinear Algebra http://dx.doi.org/10.1080/03081087.2014.934233 ArXiv: 1407.7564 (http://arxiv.org/abs/1407.7564) Continuity of the Perron Root Carl D. Meyer Department of Mathematics, North
More informationSHARP BOUNDS FOR THE SUM OF THE SQUARES OF THE DEGREES OF A GRAPH
31 Kragujevac J. Math. 25 (2003) 31 49. SHARP BOUNDS FOR THE SUM OF THE SQUARES OF THE DEGREES OF A GRAPH Kinkar Ch. Das Department of Mathematics, Indian Institute of Technology, Kharagpur 721302, W.B.,
More informationISOMETRIES OF R n KEITH CONRAD
ISOMETRIES OF R n KEITH CONRAD 1. Introduction An isometry of R n is a function h: R n R n that preserves the distance between vectors: h(v) h(w) = v w for all v and w in R n, where (x 1,..., x n ) = x
More informationAn example of a computable
An example of a computable absolutely normal number Verónica Becher Santiago Figueira Abstract The first example of an absolutely normal number was given by Sierpinski in 96, twenty years before the concept
More informationABSTRACT. For example, circle orders are the containment orders of circles (actually disks) in the plane (see [8,9]).
Degrees of Freedom Versus Dimension for Containment Orders Noga Alon 1 Department of Mathematics Tel Aviv University Ramat Aviv 69978, Israel Edward R. Scheinerman 2 Department of Mathematical Sciences
More informationSolutions to Homework 10
Solutions to Homework 1 Section 7., exercise # 1 (b,d): (b) Compute the value of R f dv, where f(x, y) = y/x and R = [1, 3] [, 4]. Solution: Since f is continuous over R, f is integrable over R. Let x
More informationCollinear Points in Permutations
Collinear Points in Permutations Joshua N. Cooper Courant Institute of Mathematics New York University, New York, NY József Solymosi Department of Mathematics University of British Columbia, Vancouver,
More information1 Norms and Vector Spaces
008.10.07.01 1 Norms and Vector Spaces Suppose we have a complex vector space V. A norm is a function f : V R which satisfies (i) f(x) 0 for all x V (ii) f(x + y) f(x) + f(y) for all x,y V (iii) f(λx)
More informationUndergraduate Notes in Mathematics. Arkansas Tech University Department of Mathematics
Undergraduate Notes in Mathematics Arkansas Tech University Department of Mathematics An Introductory Single Variable Real Analysis: A Learning Approach through Problem Solving Marcel B. Finan c All Rights
More informationIntroduction to Algebraic Geometry. Bézout s Theorem and Inflection Points
Introduction to Algebraic Geometry Bézout s Theorem and Inflection Points 1. The resultant. Let K be a field. Then the polynomial ring K[x] is a unique factorisation domain (UFD). Another example of a
More informationThe HenstockKurzweilStieltjes type integral for real functions on a fractal subset of the real line
The HenstockKurzweilStieltjes type integral for real functions on a fractal subset of the real line D. Bongiorno, G. Corrao Dipartimento di Ingegneria lettrica, lettronica e delle Telecomunicazioni,
More informationA Note on Maximum Independent Sets in Rectangle Intersection Graphs
A Note on Maximum Independent Sets in Rectangle Intersection Graphs Timothy M. Chan School of Computer Science University of Waterloo Waterloo, Ontario N2L 3G1, Canada tmchan@uwaterloo.ca September 12,
More informationThe Ideal Class Group
Chapter 5 The Ideal Class Group We will use Minkowski theory, which belongs to the general area of geometry of numbers, to gain insight into the ideal class group of a number field. We have already mentioned
More information2.3 Convex Constrained Optimization Problems
42 CHAPTER 2. FUNDAMENTAL CONCEPTS IN CONVEX OPTIMIZATION Theorem 15 Let f : R n R and h : R R. Consider g(x) = h(f(x)) for all x R n. The function g is convex if either of the following two conditions
More informationIRREDUCIBLE OPERATOR SEMIGROUPS SUCH THAT AB AND BA ARE PROPORTIONAL. 1. Introduction
IRREDUCIBLE OPERATOR SEMIGROUPS SUCH THAT AB AND BA ARE PROPORTIONAL R. DRNOVŠEK, T. KOŠIR Dedicated to Prof. Heydar Radjavi on the occasion of his seventieth birthday. Abstract. Let S be an irreducible
More informationMathematical Induction
Mathematical Induction (Handout March 8, 01) The Principle of Mathematical Induction provides a means to prove infinitely many statements all at once The principle is logical rather than strictly mathematical,
More informationContinued Fractions and the Euclidean Algorithm
Continued Fractions and the Euclidean Algorithm Lecture notes prepared for MATH 326, Spring 997 Department of Mathematics and Statistics University at Albany William F Hammond Table of Contents Introduction
More informationSOLUTIONS TO EXERCISES FOR. MATHEMATICS 205A Part 3. Spaces with special properties
SOLUTIONS TO EXERCISES FOR MATHEMATICS 205A Part 3 Fall 2008 III. Spaces with special properties III.1 : Compact spaces I Problems from Munkres, 26, pp. 170 172 3. Show that a finite union of compact subspaces
More informationSolving Geometric Problems with the Rotating Calipers *
Solving Geometric Problems with the Rotating Calipers * Godfried Toussaint School of Computer Science McGill University Montreal, Quebec, Canada ABSTRACT Shamos [1] recently showed that the diameter of
More informationTHE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS
THE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS KEITH CONRAD 1. Introduction The Fundamental Theorem of Algebra says every nonconstant polynomial with complex coefficients can be factored into linear
More informationMarkov random fields and Gibbs measures
Chapter Markov random fields and Gibbs measures 1. Conditional independence Suppose X i is a random element of (X i, B i ), for i = 1, 2, 3, with all X i defined on the same probability space (.F, P).
More informationIntroduction to Topology
Introduction to Topology Tomoo Matsumura November 30, 2010 Contents 1 Topological spaces 3 1.1 Basis of a Topology......................................... 3 1.2 Comparing Topologies.......................................
More informationBasic Concepts of Point Set Topology Notes for OU course Math 4853 Spring 2011
Basic Concepts of Point Set Topology Notes for OU course Math 4853 Spring 2011 A. Miller 1. Introduction. The definitions of metric space and topological space were developed in the early 1900 s, largely
More informationSolving Systems of Linear Equations
LECTURE 5 Solving Systems of Linear Equations Recall that we introduced the notion of matrices as a way of standardizing the expression of systems of linear equations In today s lecture I shall show how
More informationLabeling outerplanar graphs with maximum degree three
Labeling outerplanar graphs with maximum degree three Xiangwen Li 1 and Sanming Zhou 2 1 Department of Mathematics Huazhong Normal University, Wuhan 430079, China 2 Department of Mathematics and Statistics
More informationMetric Spaces Joseph Muscat 2003 (Last revised May 2009)
1 Distance J Muscat 1 Metric Spaces Joseph Muscat 2003 (Last revised May 2009) (A revised and expanded version of these notes are now published by Springer.) 1 Distance A metric space can be thought of
More informationMathematics Course 111: Algebra I Part IV: Vector Spaces
Mathematics Course 111: Algebra I Part IV: Vector Spaces D. R. Wilkins Academic Year 19967 9 Vector Spaces A vector space over some field K is an algebraic structure consisting of a set V on which are
More informationSection 1.1. Introduction to R n
The Calculus of Functions of Several Variables Section. Introduction to R n Calculus is the study of functional relationships and how related quantities change with each other. In your first exposure to
More informationALMOST COMMON PRIORS 1. INTRODUCTION
ALMOST COMMON PRIORS ZIV HELLMAN ABSTRACT. What happens when priors are not common? We introduce a measure for how far a type space is from having a common prior, which we term prior distance. If a type
More informationMATRIX ALGEBRA AND SYSTEMS OF EQUATIONS
MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS Systems of Equations and Matrices Representation of a linear system The general system of m equations in n unknowns can be written a x + a 2 x 2 + + a n x n b a
More informationTilings of the sphere with right triangles III: the asymptotically obtuse families
Tilings of the sphere with right triangles III: the asymptotically obtuse families Robert J. MacG. Dawson Department of Mathematics and Computing Science Saint Mary s University Halifax, Nova Scotia, Canada
More informationINCIDENCEBETWEENNESS GEOMETRY
INCIDENCEBETWEENNESS GEOMETRY MATH 410, CSUSM. SPRING 2008. PROFESSOR AITKEN This document covers the geometry that can be developed with just the axioms related to incidence and betweenness. The full
More informationMATH1231 Algebra, 2015 Chapter 7: Linear maps
MATH1231 Algebra, 2015 Chapter 7: Linear maps A/Prof. Daniel Chan School of Mathematics and Statistics University of New South Wales danielc@unsw.edu.au Daniel Chan (UNSW) MATH1231 Algebra 1 / 43 Chapter
More informationPYTHAGOREAN TRIPLES KEITH CONRAD
PYTHAGOREAN TRIPLES KEITH CONRAD 1. Introduction A Pythagorean triple is a triple of positive integers (a, b, c) where a + b = c. Examples include (3, 4, 5), (5, 1, 13), and (8, 15, 17). Below is an ancient
More informationFUNCTIONAL ANALYSIS LECTURE NOTES: QUOTIENT SPACES
FUNCTIONAL ANALYSIS LECTURE NOTES: QUOTIENT SPACES CHRISTOPHER HEIL 1. Cosets and the Quotient Space Any vector space is an abelian group under the operation of vector addition. So, if you are have studied
More informationOn the representability of the biuniform matroid
On the representability of the biuniform matroid Simeon Ball, Carles Padró, Zsuzsa Weiner and Chaoping Xing August 3, 2012 Abstract Every biuniform matroid is representable over all sufficiently large
More informationFIBER PRODUCTS AND ZARISKI SHEAVES
FIBER PRODUCTS AND ZARISKI SHEAVES BRIAN OSSERMAN 1. Fiber products and Zariski sheaves We recall the definition of a fiber product: Definition 1.1. Let C be a category, and X, Y, Z objects of C. Fix also
More informationClosest Pair Problem
Closest Pair Problem Given n points in ddimensions, find two whose mutual distance is smallest. Fundamental problem in many applications as well as a key step in many algorithms. p q A naive algorithm
More informationMASSACHUSETTS INSTITUTE OF TECHNOLOGY 6.436J/15.085J Fall 2008 Lecture 5 9/17/2008 RANDOM VARIABLES
MASSACHUSETTS INSTITUTE OF TECHNOLOGY 6.436J/15.085J Fall 2008 Lecture 5 9/17/2008 RANDOM VARIABLES Contents 1. Random variables and measurable functions 2. Cumulative distribution functions 3. Discrete
More informationSimilarity and Diagonalization. Similar Matrices
MATH022 Linear Algebra Brief lecture notes 48 Similarity and Diagonalization Similar Matrices Let A and B be n n matrices. We say that A is similar to B if there is an invertible n n matrix P such that
More informationRow Ideals and Fibers of Morphisms
Michigan Math. J. 57 (2008) Row Ideals and Fibers of Morphisms David Eisenbud & Bernd Ulrich Affectionately dedicated to Mel Hochster, who has been an inspiration to us for many years, on the occasion
More informationTHE BANACH CONTRACTION PRINCIPLE. Contents
THE BANACH CONTRACTION PRINCIPLE ALEX PONIECKI Abstract. This paper will study contractions of metric spaces. To do this, we will mainly use tools from topology. We will give some examples of contractions,
More informationThe sum of digits of polynomial values in arithmetic progressions
The sum of digits of polynomial values in arithmetic progressions Thomas Stoll Institut de Mathématiques de Luminy, Université de la Méditerranée, 13288 Marseille Cedex 9, France Email: stoll@iml.univmrs.fr
More informationInner Product Spaces
Math 571 Inner Product Spaces 1. Preliminaries An inner product space is a vector space V along with a function, called an inner product which associates each pair of vectors u, v with a scalar u, v, and
More informationArrangements And Duality
Arrangements And Duality 3.1 Introduction 3 Point configurations are tbe most basic structure we study in computational geometry. But what about configurations of more complicated shapes? For example,
More informationClassification of Cartan matrices
Chapter 7 Classification of Cartan matrices In this chapter we describe a classification of generalised Cartan matrices This classification can be compared as the rough classification of varieties in terms
More informationLectures notes on orthogonal matrices (with exercises) 92.222  Linear Algebra II  Spring 2004 by D. Klain
Lectures notes on orthogonal matrices (with exercises) 92.222  Linear Algebra II  Spring 2004 by D. Klain 1. Orthogonal matrices and orthonormal sets An n n realvalued matrix A is said to be an orthogonal
More informationSolutions to Math 51 First Exam January 29, 2015
Solutions to Math 5 First Exam January 29, 25. ( points) (a) Complete the following sentence: A set of vectors {v,..., v k } is defined to be linearly dependent if (2 points) there exist c,... c k R, not
More informationThe chromatic spectrum of mixed hypergraphs
The chromatic spectrum of mixed hypergraphs Tao Jiang, Dhruv Mubayi, Zsolt Tuza, Vitaly Voloshin, Douglas B. West March 30, 2003 Abstract A mixed hypergraph is a triple H = (X, C, D), where X is the vertex
More informationn 2 + 4n + 3. The answer in decimal form (for the Blitz): 0, 75. Solution. (n + 1)(n + 3) = n + 3 2 lim m 2 1
. Calculate the sum of the series Answer: 3 4. n 2 + 4n + 3. The answer in decimal form (for the Blitz):, 75. Solution. n 2 + 4n + 3 = (n + )(n + 3) = (n + 3) (n + ) = 2 (n + )(n + 3) ( 2 n + ) = m ( n
More information160 CHAPTER 4. VECTOR SPACES
160 CHAPTER 4. VECTOR SPACES 4. Rank and Nullity In this section, we look at relationships between the row space, column space, null space of a matrix and its transpose. We will derive fundamental results
More informationUNIFORMLY DISCONTINUOUS GROUPS OF ISOMETRIES OF THE PLANE
UNIFORMLY DISCONTINUOUS GROUPS OF ISOMETRIES OF THE PLANE NINA LEUNG Abstract. This paper discusses 2dimensional locally Euclidean geometries and how these geometries can describe musical chords. Contents
More informationTree sums and maximal connected Ispaces
Tree sums and maximal connected Ispaces Adam Bartoš drekin@gmail.com Faculty of Mathematics and Physics Charles University in Prague Twelfth Symposium on General Topology Prague, July 2016 Maximal and
More information4. Expanding dynamical systems
4.1. Metric definition. 4. Expanding dynamical systems Definition 4.1. Let X be a compact metric space. A map f : X X is said to be expanding if there exist ɛ > 0 and L > 1 such that d(f(x), f(y)) Ld(x,
More informationAn inequality for the group chromatic number of a graph
An inequality for the group chromatic number of a graph HongJian Lai 1, Xiangwen Li 2 and Gexin Yu 3 1 Department of Mathematics, West Virginia University Morgantown, WV 26505 USA 2 Department of Mathematics
More informationChapter 17. Orthogonal Matrices and Symmetries of Space
Chapter 17. Orthogonal Matrices and Symmetries of Space Take a random matrix, say 1 3 A = 4 5 6, 7 8 9 and compare the lengths of e 1 and Ae 1. The vector e 1 has length 1, while Ae 1 = (1, 4, 7) has length
More informationLEARNING OBJECTIVES FOR THIS CHAPTER
CHAPTER 2 American mathematician Paul Halmos (1916 2006), who in 1942 published the first modern linear algebra book. The title of Halmos s book was the same as the title of this chapter. FiniteDimensional
More informationAlgebra 2 Chapter 1 Vocabulary. identity  A statement that equates two equivalent expressions.
Chapter 1 Vocabulary identity  A statement that equates two equivalent expressions. verbal model A word equation that represents a reallife problem. algebraic expression  An expression with variables.
More informationOn the kpath cover problem for cacti
On the kpath cover problem for cacti Zemin Jin and Xueliang Li Center for Combinatorics and LPMC Nankai University Tianjin 300071, P.R. China zeminjin@eyou.com, x.li@eyou.com Abstract In this paper we
More information1. Introduction. PROPER HOLOMORPHIC MAPPINGS BETWEEN RIGID POLYNOMIAL DOMAINS IN C n+1
Publ. Mat. 45 (2001), 69 77 PROPER HOLOMORPHIC MAPPINGS BETWEEN RIGID POLYNOMIAL DOMAINS IN C n+1 Bernard Coupet and Nabil Ourimi Abstract We describe the branch locus of proper holomorphic mappings between
More informationI. GROUPS: BASIC DEFINITIONS AND EXAMPLES
I GROUPS: BASIC DEFINITIONS AND EXAMPLES Definition 1: An operation on a set G is a function : G G G Definition 2: A group is a set G which is equipped with an operation and a special element e G, called
More informationMetric Spaces. Chapter 1
Chapter 1 Metric Spaces Many of the arguments you have seen in several variable calculus are almost identical to the corresponding arguments in one variable calculus, especially arguments concerning convergence
More information1 Sets and Set Notation.
LINEAR ALGEBRA MATH 27.6 SPRING 23 (COHEN) LECTURE NOTES Sets and Set Notation. Definition (Naive Definition of a Set). A set is any collection of objects, called the elements of that set. We will most
More informationFINITE DIMENSIONAL ORDERED VECTOR SPACES WITH RIESZ INTERPOLATION AND EFFROSSHEN S UNIMODULARITY CONJECTURE AARON TIKUISIS
FINITE DIMENSIONAL ORDERED VECTOR SPACES WITH RIESZ INTERPOLATION AND EFFROSSHEN S UNIMODULARITY CONJECTURE AARON TIKUISIS Abstract. It is shown that, for any field F R, any ordered vector space structure
More informationPRIME FACTORS OF CONSECUTIVE INTEGERS
PRIME FACTORS OF CONSECUTIVE INTEGERS MARK BAUER AND MICHAEL A. BENNETT Abstract. This note contains a new algorithm for computing a function f(k) introduced by Erdős to measure the minimal gap size in
More informationHow To Prove The Dirichlet Unit Theorem
Chapter 6 The Dirichlet Unit Theorem As usual, we will be working in the ring B of algebraic integers of a number field L. Two factorizations of an element of B are regarded as essentially the same if
More informationBipan Hazarika ON ACCELERATION CONVERGENCE OF MULTIPLE SEQUENCES. 1. Introduction
F A S C I C U L I M A T H E M A T I C I Nr 51 2013 Bipan Hazarika ON ACCELERATION CONVERGENCE OF MULTIPLE SEQUENCES Abstract. In this article the notion of acceleration convergence of double sequences
More informationEQUATIONS and INEQUALITIES
EQUATIONS and INEQUALITIES Linear Equations and Slope 1. Slope a. Calculate the slope of a line given two points b. Calculate the slope of a line parallel to a given line. c. Calculate the slope of a line
More informationOPTIMAL CONTROL OF A COMMERCIAL LOAN REPAYMENT PLAN. E.V. Grigorieva. E.N. Khailov
DISCRETE AND CONTINUOUS Website: http://aimsciences.org DYNAMICAL SYSTEMS Supplement Volume 2005 pp. 345 354 OPTIMAL CONTROL OF A COMMERCIAL LOAN REPAYMENT PLAN E.V. Grigorieva Department of Mathematics
More informationBANACH AND HILBERT SPACE REVIEW
BANACH AND HILBET SPACE EVIEW CHISTOPHE HEIL These notes will briefly review some basic concepts related to the theory of Banach and Hilbert spaces. We are not trying to give a complete development, but
More informationSOLUTIONS TO ASSIGNMENT 1 MATH 576
SOLUTIONS TO ASSIGNMENT 1 MATH 576 SOLUTIONS BY OLIVIER MARTIN 13 #5. Let T be the topology generated by A on X. We want to show T = J B J where B is the set of all topologies J on X with A J. This amounts
More informationSection 4.4 Inner Product Spaces
Section 4.4 Inner Product Spaces In our discussion of vector spaces the specific nature of F as a field, other than the fact that it is a field, has played virtually no role. In this section we no longer
More informationMathematical Methods of Engineering Analysis
Mathematical Methods of Engineering Analysis Erhan Çinlar Robert J. Vanderbei February 2, 2000 Contents Sets and Functions 1 1 Sets................................... 1 Subsets.............................
More informationON GALOIS REALIZATIONS OF THE 2COVERABLE SYMMETRIC AND ALTERNATING GROUPS
ON GALOIS REALIZATIONS OF THE 2COVERABLE SYMMETRIC AND ALTERNATING GROUPS DANIEL RABAYEV AND JACK SONN Abstract. Let f(x) be a monic polynomial in Z[x] with no rational roots but with roots in Q p for
More information1 Solving LPs: The Simplex Algorithm of George Dantzig
Solving LPs: The Simplex Algorithm of George Dantzig. Simplex Pivoting: Dictionary Format We illustrate a general solution procedure, called the simplex algorithm, by implementing it on a very simple example.
More informationA NonLinear Schema Theorem for Genetic Algorithms
A NonLinear Schema Theorem for Genetic Algorithms William A Greene Computer Science Department University of New Orleans New Orleans, LA 70148 bill@csunoedu 5042806755 Abstract We generalize Holland
More informationSolving Simultaneous Equations and Matrices
Solving Simultaneous Equations and Matrices The following represents a systematic investigation for the steps used to solve two simultaneous linear equations in two unknowns. The motivation for considering
More informationSolving Linear Systems, Continued and The Inverse of a Matrix
, Continued and The of a Matrix Calculus III Summer 2013, Session II Monday, July 15, 2013 Agenda 1. The rank of a matrix 2. The inverse of a square matrix Gaussian Gaussian solves a linear system by reducing
More informationSystems of Linear Equations
Systems of Linear Equations Beifang Chen Systems of linear equations Linear systems A linear equation in variables x, x,, x n is an equation of the form a x + a x + + a n x n = b, where a, a,, a n and
More informationVector and Matrix Norms
Chapter 1 Vector and Matrix Norms 11 Vector Spaces Let F be a field (such as the real numbers, R, or complex numbers, C) with elements called scalars A Vector Space, V, over the field F is a nonempty
More informationAHLFORS DAVID REGULAR SETS AND BILIPSCHITZ MAPS
Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 34, 2009, 487 502 AHLFORS DAVID REGULAR SETS AND BILIPSCHITZ MAPS Pertti Mattila Pirjo Saaranen University of Helsinki, Department of Mathematics
More informationMATRIX ALGEBRA AND SYSTEMS OF EQUATIONS. + + x 2. x n. a 11 a 12 a 1n b 1 a 21 a 22 a 2n b 2 a 31 a 32 a 3n b 3. a m1 a m2 a mn b m
MATRIX ALGEBRA AND SYSTEMS OF EQUATIONS 1. SYSTEMS OF EQUATIONS AND MATRICES 1.1. Representation of a linear system. The general system of m equations in n unknowns can be written a 11 x 1 + a 12 x 2 +
More informationCHAPTER II THE LIMIT OF A SEQUENCE OF NUMBERS DEFINITION OF THE NUMBER e.
CHAPTER II THE LIMIT OF A SEQUENCE OF NUMBERS DEFINITION OF THE NUMBER e. This chapter contains the beginnings of the most important, and probably the most subtle, notion in mathematical analysis, i.e.,
More informationGeometrical Characterization of RNoperators between Locally Convex Vector Spaces
Geometrical Characterization of RNoperators between Locally Convex Vector Spaces OLEG REINOV St. Petersburg State University Dept. of Mathematics and Mechanics Universitetskii pr. 28, 198504 St, Petersburg
More informationGeometric Transformations
Geometric Transformations Definitions Def: f is a mapping (function) of a set A into a set B if for every element a of A there exists a unique element b of B that is paired with a; this pairing is denoted
More information1 Error in Euler s Method
1 Error in Euler s Method Experience with Euler s 1 method raises some interesting questions about numerical approximations for the solutions of differential equations. 1. What determines the amount of
More informationSo let us begin our quest to find the holy grail of real analysis.
1 Section 5.2 The Complete Ordered Field: Purpose of Section We present an axiomatic description of the real numbers as a complete ordered field. The axioms which describe the arithmetic of the real numbers
More informationUNCOUPLING THE PERRON EIGENVECTOR PROBLEM
UNCOUPLING THE PERRON EIGENVECTOR PROBLEM Carl D Meyer INTRODUCTION Foranonnegative irreducible matrix m m with spectral radius ρ,afundamental problem concerns the determination of the unique normalized
More information