[Subversion Wiki] Update of "FS2/Theory" by brane

[Apache subversion Wiki <co...@subversion.apache.org>]

Dear Wiki user,

You have subscribed to a wiki page or wiki category on "Subversion Wiki" for change notification.

The "FS2/Theory" page has been changed by brane:
http://wiki.apache.org/subversion/FS2/Theory?action=diff&rev1=3&rev2=4

   * 𝔹 is the set of all data configurations;
   * 𝒹: 𝔹 × 𝔹 ⟶ ℝ is a metric on 𝔹.
   
- '''Definition:''' A ''configuration history'' is a sequence of elements of the data configuration space.
+ '''Definition:''' A ''configuration history'' is a sequence of elements of the data configuration space; in other words, it is a ''curve'' in (𝔹, 𝒹).
  
  == Defining the Metric ==
  
@@ -23, +23 @@

   𝓁: 𝔹 × 𝔹 ⟶ ℕ^0^
  
  applied to the binary-digit sequence representation of data configurations. It is easy to show⚑ that 𝓁 has all the required properties of a metric. In addition, it has the following properties:
-  * The minimum distance between any two distinct configurations is⚑ 1.
+  * The minimum distance between any two distinct configurations is 1.
-  * The maximum distance between any two distinct configurations is⚑ the greater of their sizes: ∀a,b ∈ 𝔹: 𝓁(a, b) ≤ max(''S'',,a,,, ''S'',,b,,) .
+  * The maximum distance between any two distinct configurations is the greater of their sizes: ∀a,b ∈ 𝔹: 𝓁(a, b) ≤ max(''S'',,a,,, ''S'',,b,,),
-  * And it follows from this that: ∀c ∈ 𝔹: 𝓁(𝑒, c) = ''S'',,c,, .
+  * from wich it follows that: ∀c ∈ 𝔹: 𝓁(𝑒, c) = ''S'',,c,,.
  
+ == The History Curve ==
+