Math 2.0

Approximations and expansions Definition

Neural network approximation

Builds on Continuous functionCompact spaceNormed vector space

Definition

Let σ ⁣:ℝ→ℝ\sigma \colon \R \to \R be a function, called the activation function, and let d,n≥1d, n \ge 1 be integers. A shallow neural network with nn neurons is a function ℝd→ℝ\R^d \to \R of the form x↦∑k=1nck σ(wk⋅x+bk),ck,bk∈ℝ, wk∈ℝd.x \mapsto \sum_{k=1}^{n} c_k \, \sigma(w_k \cdot x + b_k), \qquad c_k, b_k \in \R, \ w_k \in \R^d . Let Σn(σ)\Sigma_n(\sigma) be the set of these functions. Let K⊆ℝdK \subseteq \R^d be a compact set and let f ⁣:K→ℝf \colon K \to \R be continuous. Neural network approximation of ff is its approximation by elements of Σn(σ)\Sigma_n(\sigma), measured by the error En(f)=inf⁡{sup⁡x∈K∣f(x)−g(x)∣:g∈Σn(σ)}.E_n(f) = \inf\set{\sup_{x \in K} \abs{f(x) - g(x)} : g \in \Sigma_n(\sigma)} .

Remarks

Other norms, such as LpL^p norms on KK, are also used. A deep network with LL layers is a composition TL∘σ∘TL−1∘⋯∘σ∘T1T_L \circ \sigma \circ T_{L-1} \circ \cdots \circ \sigma \circ T_1 of affine maps Tj ⁣:ℝdj−1→ℝdjT_j \colon \R^{d_{j-1}} \to \R^{d_j}, with d0=dd_0 = d and dL=1d_L = 1, where σ\sigma acts on each coordinate; the shallow case is L=2L = 2. The set Σn(σ)\Sigma_n(\sigma) is in general not a linear space, since the sum of two networks with nn neurons may need 2n2n neurons. For continuous σ\sigma, En(f)→0E_n(f) \to 0 as n→∞n \to \infty for all KK and ff if and only if σ\sigma is not a polynomial. Example: for the ReLU σ(t)=max⁡(t,0)\sigma(t) = \max(t, 0), d=1d = 1, K=[−1,1]K = [-1, 1] and f(x)=∣x∣f(x) = \abs{x}, one has f=σ(x)+σ(−x)∈Σ2(σ)f = \sigma(x) + \sigma(-x) \in \Sigma_2(\sigma), so E2(f)=0E_2(f) = 0. Non-example: for σ(t)=t\sigma(t) = t, every element of Σn(σ)\Sigma_n(\sigma) is an affine function, so on K=[−1,1]K = [-1, 1] the function x2x^2 has En(x2)=1/2E_n(x^2) = 1/2 for every nn and is not approximated.

Reading path

To understand this page from the ground up, read these 4 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Compact space concept
  2. Continuous function concept
  3. Normed vector space concept
  4. Neural network approximation definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Universal_approximation_theorem
About this page
Tag42AGEAAQ8H
URIm2://42AGEAAQ8H
Kinddefinition
WritingW0 stub
MSC41A46, 68T07, 41A30
DefinesNeural network approximation
UsesContinuous function, Compact space, Normed vector space

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.