• Opisek@piefed.blahaj.zoneEnglish
    2·
    2 hours ago

    Der Aussage mit := muss ich widersprechen. Es ist nicht unüblich dieses Zeichen auch bei rekursiven Definitionen zu verwenden, wie etwa e^x := d/dx e^x oder f_{i+2} := f_{i+1} + f_i. Deshalb finde ich hier schon, dass das Σ auf der linken Seite gleich dem unter der Summe sein müsste. Ich wäre mit dem Folgenden mehr zufrieden:

    Σ := Σ_Σ {Σ}

    Addition als Mengenvereinigung sieht man nicht oft, kommt in gewissen Kontexten aber schon vor. Das Einzige was mich hier noch stört, ist dass das Definitionensymbol das Σ eigentlich gar nicht definiert, da der Ausdruck tautologisch bzw. trivial ist. Ich lese aber vielleicht auch etwas zu viel hier rein und sollte um 1 Uhr nachts mich eher mit dem Schlafen beschäftigen.

    Bonus: Wieso nicht noch ein Weiteres Sigma reinpacken?

    Σ := Σ_{Σ∈Σ} {Σ}

    • yetAnotherUser@discuss.tchncs.deOP
      2·
      2 hours ago

      Stimmt, dass := auch für rekursive Definitionen verwendet wird habe ich nicht berücksichtigt. Ich hab kurz gebraucht um die Tautologie zu sehen, aber du hast recht, wenn man es als rekursiv ansieht bekommt man als “Definition” Σ = Σ raus (und die Menge Σ muss Kardinalität 1 haben - das macht es aber auch etwas schön, da man nun der Variable Σ eindeutig den Wert des einzigen Elements von Σ zuweisen könnte).

      Σ := Σ_Σ Σ
<=> Σ = |Σ| * Σ
<=> 1 = |Σ|

      Fünf Sigmas in einer Gleichung sind aber eindeutig zu viel, das könnte ja noch für Verwirrung sorgen!