Local dimension and regular points

1992 ◽  
Vol 112 (2) ◽  
pp. 361-368
Author(s):  
Martin T. Barlow ◽  
S. James Taylor

The Hausdorff–Besicovitch dimension of a set A ⊆ ℝd, denoted dim (A), relates to the structure of A in the neighbourhood of its thickest point. If A is irregular then one may wish for an index which will describe the size of A in different places. The obvious definition of the local dimension of A near x isand it is not hard to verify that

2012 ◽  
Vol 96 (536) ◽  
pp. 213-220
Author(s):  
Harlan J. Brothers

Pascal's triangle is well known for its numerous connections to probability theory [1], combinatorics, Euclidean geometry, fractal geometry, and many number sequences including the Fibonacci series [2,3,4]. It also has a deep connection to the base of natural logarithms, e [5]. This link to e can be used as a springboard for generating a family of related triangles that together create a rich combinatoric object.2. From Pascal to LeibnizIn Brothers [5], the author shows that the growth of Pascal's triangle is related to the limit definition of e.Specifically, we define the sequence sn; as follows [6]:


1963 ◽  
Vol 14 (1) ◽  
pp. 75-104 ◽  
Author(s):  
G. J. Hancock

SummaryThe validity and applicability of the static margin (stick fixed) Kn,where as defined by Gates and Lyon is shown to be restricted to the conventional flexible aircraft. Alternative suggestions for the definition of static margin are put forward which can be equally applied to the conventional flexible aircraft of the past and the integrated flexible aircraft of the future. Calculations have been carried out on simple slender plate models with both linear and non-linear aerodynamic forces to assess their static stability characteristics.


1987 ◽  
Vol 39 (4) ◽  
pp. 784-793 ◽  
Author(s):  
Michael J. Kallaher

Let (Q, +, ·) be a finite quasifield of dimension d over its kernel K = GF(q), where q = pk with p a prime and k ≧ 1. (See p. 18-22 and p. 74 of [7] or Section 5 of [9] for the definition of quasifield.) For the remainder of this article we will follow standard conventions and omit, whenever possible, the binary operations + and · in discussing a quasifield. For example, the notation Q will be used in place of the triple (Q, +, ·) and Q* will be used to represent the multiplicative loop (Q − {0}, ·).Let m be a non-zero element of the quasifield Q; the right multiplicative mapping ρm:Q → Q is defined by1


1957 ◽  
Vol 9 ◽  
pp. 459-464 ◽  
Author(s):  
P. G. Rooney

The inversion theory of the Gauss transformation has been the subject of recent work by several authors. If the transformation is defined by1.1,then operational methods indicate that,under a suitable definition of the differential operator.


1985 ◽  
Vol 37 (4) ◽  
pp. 664-681 ◽  
Author(s):  
Zoltán Magyar ◽  
Zoltán Sebestyén

The theory of noncommutative involutive Banach algebras (briefly Banach *-algebras) owes its origin to Gelfand and Naimark, who proved in 1943 the fundamental representation theorem that a Banach *-algebra with C*-condition(C*)is *-isomorphic and isometric to a norm-closed self-adjoint subalgebra of all bounded operators on a suitable Hilbert space.At the same time they conjectured that the C*-condition can be replaced by the B*-condition.(B*)In other words any B*-algebra is actually a C*-algebra. This was shown by Glimm and Kadison [5] in 1960.


1971 ◽  
Vol 23 (3) ◽  
pp. 445-450 ◽  
Author(s):  
L. Terrell Gardner

0. In [3], Fell introduced a topology on Rep (A,H), the collection of all non-null but possibly degenerate *-representations of the C*-algebra A on the Hilbert space H. This topology, which we will call the Fell topology, can be described by giving, as basic open neighbourhoods of π0 ∈ Rep(A, H), sets of the formwhere the ai ∈ A, and the ξj ∈ H(π0), the essential space of π0 [4].A principal result of [3, Theorem 3.1] is that if the Hilbert dimension of H is large enough to admit all irreducible representations of A, then the quotient space Irr(A, H)/∼ can be identified with the spectrum (or “dual“) Â of A, in its hull-kernel topology.


2004 ◽  
Vol 113 (1) ◽  
pp. 87-97 ◽  
Author(s):  
Akhteruz Zaman

The reporting of war has always been a tough challenge for journalists. Restricted access to information, lack of consensus about journalists' role during wartime and the process of news production make the task daunting. The media's vulnerability is manifested in the pattern of war coverage, which is directly related to a country's historic, social and cultural perspectives. This content analysis of the 2003 Iraq war coverage in the Bangladesh press shows that, despite the publications’ dependence on Western sources for war news, they rejected the Western definition of the war and echoed the opposing version of it harboured by the country's elite.


1937 ◽  
Vol 2 (4) ◽  
pp. 164-164 ◽  
Author(s):  
A. M. Turing

In the theory of conversion it is important to have a formally defined function which assigns to any positive integer n the least integer not less than n which has a given property. The definition of such a formula is somewhat involved: I propose to give the corresponding formula in λ-K-conversion, which will (naturally) be much simpler. I shall in fact find a formula þ such that if T be a formula for which T(n) is convertible to a formula representing a natural number, whenever n represents a natural number, then þ(T, r) is convertible to the formula q representing the least natural number q, not less than r, for which T(q) conv 0.2 The method depends on finding a formula Θ with the property that Θ conv λu·u(Θ(u)), and consequently if M→Θ(V) then M conv V(M). A formula with this property is,The formula þ will have the required property if þ(T, r) conv r when T(r) conv 0, and þ(T, r) conv þ(T, S(r)) otherwise. These conditions will be satisfied if þ(T, r) conv T(r, λx·þ(T, S(r)), r), i.e. if þ conv {λptr·t(r, λx·p(t, S(r)), r)}(þ). We therefore put,This enables us to define also a formula,such that (T, n) is convertible to the formula representing the nth positive integer q for which T(q) conv 0.


1950 ◽  
Vol 15 (2) ◽  
pp. 103-112 ◽  
Author(s):  
Hao Wang

In mathematics, when we want to introduce classes which fulfill certain conditions, we usually prove beforehand that classes fulfilling such conditions do exist, and that such classes are uniquely determined by the conditions. The statements which state such unicity and existence of classes are in mathematical logic consequences of the principles of extensionality and class existence. In order to illustrate how these principles enable us to introduce classes into systems of mathematical logic, let us consider the manner in which Gödel introduces classes in his book on set theory.For instance, before introducing the definition of the non-ordered pair of two classesGödel puts down as its justification the following two axioms:By A4, for every two classesyandzthere exists at least one non-ordered pairwof them; and by A3,wis uniquely determined in A4.


1957 ◽  
Vol 22 (4) ◽  
pp. 343-344
Author(s):  
Frederic B. Fitch

Greater economy can be effected in the primitive rules for the system K of basic logic by defining the existence operator ‘E’ in terms of two-place abstraction and the disjunction operator ‘V’. This amounts to defining ‘E’ in terms of ‘ε’, ‘έ’, ‘o, ‘ό’, ‘W’ and ‘V’, since the first five of these six operators are used for defining two-place abstraction.We assume that the class Y of atomic U-expressions has only a single member ‘σ’. Similar methods can be used if Y had some other finite number of members, or even an infinite number of members provided that they are ordered into a sequence by a recursive relation represented in K. In order to define ‘E’ we begin by defining an operator ‘D’ such thatHere ‘a’ may be thought of as an existence operator that provides existence quantification over some finite class of entities denoted by a class A of U-expressions. In other words, suppose that ‘a’ is such that ‘ab’ is in K if and only if, for some ‘e’ in A, ‘be’ is in K. Then ‘Dab’ is in K if and only if, for some ‘e and ‘f’ in A, ‘be’ or ‘b(ef)’ is in K; and ‘a’, ‘Da’, ‘D(Da)’, and so on, can be regarded as existence operators that provide for existence quantification over successively wider and wider finite classes. In particular, if ‘a’ is ‘εσ’, then A would be the class Y having ‘σ’ as its only member, and we can define the unrestricted existence operator ‘E’ in such a way that ‘Eb’ is in K if and only if some one of ‘εσb’, ‘D(εσ)b’, ‘D(D(εσ))b’, and so on, is in K.


Sign in / Sign up

Export Citation Format

Share Document