Namespaces
Variants
Actions

Difference between revisions of "User:Richard Pinch/sandbox-6"

From Encyclopedia of Mathematics
Jump to: navigation, search
(→‎Complexity function: transfer text)
(Start article: Semigroup action)
Line 1: Line 1:
 +
=Semigroup action=
 +
''of a semigroup $S$ on a set $X$''
 +
 +
A map from $X \times S \rightarrow X$, written $(x,s)$ or $x^s$ satisfying
 +
$$
 +
(x,st) = ((x,s),t)\ .
 +
$$
 +
For given $s$, the map $\rho_s : x \mapsto (x,s)$ is a [[transformation]] of $X$.  The map $s \mapsto \rho_s$ is a semigroup morphism $\rho : S \rightarrow T_X$ where $T_X$ is the [[transformation semi-group]] on $X$: conversely, every such homomorphism gives rise to an action $(x,s) \mapsto (x)\rho_s$.  If the homomorphism $\rho$ is injective the action is ''faithful'': $S$ may be regarded as a subsemigroup of $T_X$. 
 +
 +
If $S$ is a [[monoid]] with [[identity element]] $1_S$, the action is ''unital'' if in addition
 +
$$
 +
(x,1_S) = x
 +
$$
 +
for all $x \in X$.  In this case the map$s \mapsto \rho_s$ is a monoid morphism. 
 +
 +
If $x \in X$, the [[orbit]] of $x$ is the set of points $\{ (x,g) : g \in G \}$.  An action is ''transitive'' if $X$ consists of a single orbit.  An action is $k$-fold transitive if for any two $k$-tuples of distinct elements $(x_1,\ldots,x_k)$ and $(y_1,\ldots,y_k)$ there is $g\in G$ such that $y_i = (x_i,g)$, $i=1,\ldots,k$.  An action is ''primitive'' if there is no non-trivial partition of $X$ preserved by $G$.  A doubly transitive action is primitive, and a primitive action is transitive, but neither converse holds.  See [[Transitive group]], [[Primitive group of permutations]].
 +
 +
 +
====References====
 +
* Mati Kilp, Ulrich Knauer, Alexander V. Mikhalev, ''Monoids, Acts and Categories: With Applications to Wreath Products and Graphs'', Walter de Gruyter (2000) ISBN 3110812908
 +
 +
 
=Density of a sequence=
 
=Density of a sequence=
  

Revision as of 20:26, 24 September 2016

Semigroup action

of a semigroup $S$ on a set $X$

A map from $X \times S \rightarrow X$, written $(x,s)$ or $x^s$ satisfying $$ (x,st) = ((x,s),t)\ . $$ For given $s$, the map $\rho_s : x \mapsto (x,s)$ is a transformation of $X$. The map $s \mapsto \rho_s$ is a semigroup morphism $\rho : S \rightarrow T_X$ where $T_X$ is the transformation semi-group on $X$: conversely, every such homomorphism gives rise to an action $(x,s) \mapsto (x)\rho_s$. If the homomorphism $\rho$ is injective the action is faithful: $S$ may be regarded as a subsemigroup of $T_X$.

If $S$ is a monoid with identity element $1_S$, the action is unital if in addition $$ (x,1_S) = x $$ for all $x \in X$. In this case the map$s \mapsto \rho_s$ is a monoid morphism.

If $x \in X$, the orbit of $x$ is the set of points $\{ (x,g) : g \in G \}$. An action is transitive if $X$ consists of a single orbit. An action is $k$-fold transitive if for any two $k$-tuples of distinct elements $(x_1,\ldots,x_k)$ and $(y_1,\ldots,y_k)$ there is $g\in G$ such that $y_i = (x_i,g)$, $i=1,\ldots,k$. An action is primitive if there is no non-trivial partition of $X$ preserved by $G$. A doubly transitive action is primitive, and a primitive action is transitive, but neither converse holds. See Transitive group, Primitive group of permutations.


References

  • Mati Kilp, Ulrich Knauer, Alexander V. Mikhalev, Monoids, Acts and Categories: With Applications to Wreath Products and Graphs, Walter de Gruyter (2000) ISBN 3110812908


Density of a sequence

Other definitions

Let $A$ be a set of natural numbers and $\Lambda = (\lambda_n)$ a sequence of weights. The density of $A$ with respect to $\Lambda$ is the limit, if it exists $$ d_\Lambda(A) = \lim_{x \rightarrow \infty} \frac{\sum_{n \le x,\,n \in A} \lambda_n}{\sum_{n \le x} \lambda_n} \ . $$ The upper and lower densities $\bar d_\Lambda$,${\underline d}_\Lambda$ are the corresponding upper and lower limits, if they exist.

The natural or asymptotic density is the density with respect to the constant weight $\lambda_n = 1$ for all $n$.

The logarithmic density is the density with respect to weights $\lambda_n = \frac{1}{n}$.

A sequence has analytic density if and only if it has logarithmic density and if so then they are equal.


References

  • Tenenbaum, Gérald, "Introduction to analytic and probabilistic number theory." Cambridge Studies in Advanced Mathematics 46 Cambridge University Press (1995) ISBN 0-521-41261-7 Zbl 0831.11001

Asymptotics of arithmetic functions

asymptotics of number-theoretical functions

Approximate representations of arithmetic functions (functions defined for all natural number values of the argument) by means of comparatively simple expressions with arbitrary small error terms.

An initial question is to ask for a function with the same rate of growth as the given function. Given an arithmetic function $f(x)$ we say that $f$ has rate of growth, or is asymptotic to, a given function $\phi$ if $$ \lim_{x\to\infty}\frac{f(x)}{\phi(x)}=1 \ . $$ A short notation is: $f(x)\sim\phi(x)$ (cf. Asymptotic formula).

Examples:

  • The Prime number theorem: $\pi(x)$, the number of primes less than $x$ is asymptotic to $\frac{x}{\log x}$.

More precisely, for an arithmetic function $f(x)$ there exists an asymptotic if one has an asymptotic identity $$ f(x)=\phi(x)+R(x)\,, $$ where $\phi(x)$ is the approximating function or main term, and $R(x)$ is the error term, about which one knows in general only that $$ \lim_{x\to\infty}\frac{R(x)}{\phi(x)}=0 \ . $$ A short notation is: $f(x)=\phi(x)+o(\phi(x))$ or $f(x) = (1+o(1))\phi(x)$.

Examples:

Finding asymptotics of arithmetic functions is one of the most important problems in analytic number theory. This is explained by the fact that most arithmetic functions with interesting arithmetical properties display extreme irregularity in their changes as the argument increases. If one considers instead of an arithmetic function $f(x)$ its average value $(\sum_{n\leq x}f(n))/x$ ($n$ a natural number), then the "irregularity" of $f(x)$ is smoothed out. Hence, a typical problem for an arithmetic function is that of obtaining an asymptotic for its average value function. For example, the average value of the function $\tau(n)$, giving the number of divisors of $n$, is equal to $$ \frac1n\sum_{m\leq n}\tau(m)\sim\ln n. $$ (cf. Divisor_problems#Dirichlet's_divisor_problem). The problem that arises here, of the best possible bound for the error term in the asymptotic identity, is still unsolved (1984) for many functions, in particular for the function $\tau(x)$ (cf. Analytic number theory).

Asymptotics of arithmetic functions play an important a role in additive problems (cf. Additive number theory). For many of them there is no known direct proof of the existence of decompositions of a number into terms of a given form. However, as soon as one has an asymptotic for the number of decompositions of the type one is looking for, one can deduce that the required decomposition exists for all sufficiently large numbers $n$.

The average order and normal order of arithemetic functions refer to some simpler or better-understood function which have comparable asymptotic behaviour. It is conventional to assume that the approximating function $g$ is continuous and monotone.


The average order of an arithmetic function is a function which has the same average.

Let $f$, $g$ be functions on the natural numbers. We say that $f$ has average order $g$ if the asymptotic equality $$ \sum_{n \le x} f(n) \sim \sum_{n \le x} g(n) $$ holds as $x$ tends to infinity.


Examples:


The normal order of an arithmetic function is a function which "usually" takes the same or closely approximate values.

Let $f$ be a function on the natural numbers. We say that the normal order of $f$ is $g$ if for every $\epsilon > 0$, the inequalities $$ (1-\epsilon) g(n) \le f(n) \le (1+\epsilon) g(n) $$ hold for almost all $n$: that is, the proportion of $n < x$ for which this does not hold tends to 0 as $x$ tends to infinity.

Examples:

References

  • G.H. Hardy; S. Ramanujan; The normal number of prime factors of a number, Quart. J. Math., 48 (1917), pp. 76–92
  • G.H. Hardy; E.M. Wright (2008). An Introduction to the Theory of Numbers (6th ed.). Oxford University Press. ISBN 0-19-921986-5
  • Gérald Tenenbaum (1995). Introduction to Analytic and Probabilistic Number Theory. Cambridge studies in advanced mathematics 46. Cambridge University Press. ISBN 0-521-41261-7
How to Cite This Entry:
Richard Pinch/sandbox-6. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Richard_Pinch/sandbox-6&oldid=39291