2023-05-12 20:12:56 +02:00
{
"cells": [
{
"cell_type": "markdown",
2024-04-08 14:20:54 +02:00
"id": "e43a03dc",
2023-05-12 20:12:56 +02:00
"metadata": {},
"source": [
"# Vektoren, Matrizen, Arrays\n",
"\n",
"## Allgemeines \n",
"\n",
"Kommen wir nun zu den wohl wichtigsten Containern für numerische Mathematik: \n",
"\n",
"- Vektoren `Vector{T}` \n",
"- Matrizen `Matrix{T}` mit zwei Indizes \n",
"- N-dimensionale Arrays mit N Indizes `Array{T,N}`\n",
"\n",
"Tatsächlich ist `Vector{T}` ein Alias für `Array{T,1}` und `Matrix{T}` ein Alias für `Array{T,2}`.\n"
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "4b125a0a",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"Vector{Float64} === Array{Float64,1} && Matrix{Float64} === Array{Float64,2}"
]
},
{
"cell_type": "markdown",
2024-04-08 14:20:54 +02:00
"id": "78eba0dc",
2023-05-12 20:12:56 +02:00
"metadata": {},
"source": [
"Beim Anlegen durch eine explizite Elementliste wird der 'kleinste gemeinsame Typ' für den Typparameter `T` ermittelt.\n"
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "6205881e",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"v = [33, \"33\", 1.2]"
]
},
{
"cell_type": "markdown",
2024-04-08 14:20:54 +02:00
"id": "f720c669",
2023-05-12 20:12:56 +02:00
"metadata": {},
"source": [
"Falls `T` ein numerischer Typ ist, werden die Elemente in diesen Typ umgewandelt.\n"
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "b0e9d4a3",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"v = [3//7, 4, 2im]"
]
},
{
"cell_type": "markdown",
2024-04-08 14:20:54 +02:00
"id": "d0cbc3d0",
2023-05-12 20:12:56 +02:00
"metadata": {},
"source": [
"Informationen über einen Array liefern die Funktionen:\n",
"\n",
"- `length(A)` --- Anzahl der Elemente\n",
"- `eltype(A)` --- Typ der Elemente\n",
"- `ndims(A)` --- Anzahl der Dimensionen (Indizes)\n",
"- `size(A)` --- Tupel mit den Dimensionen des Arrays \n"
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "333529d4",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"v1 = [12, 13, 15]\n",
"\n",
"m1 = [ 1 2.5\n",
" 6 -3 ]\n",
"\n",
"for f ∈ (length, eltype, ndims, size)\n",
" println(\"$(f)(v) = $(f(v)), $(f)(m1) = $(f(m1))\")\n",
"end"
]
},
{
"cell_type": "markdown",
2024-04-08 14:20:54 +02:00
"id": "b21923e2",
2023-05-12 20:12:56 +02:00
"metadata": {},
"source": [
"- Die Stärke des 'klassischen' Arrays für das wissenschaftliche Rechnen besteht darin, dass es einfach nur ein zusammenhängendes Speichersegment ist, in dem die Komponenten gleicher Länge (z.B. 64 Bit) geordnet hintereinander abgespeichert sind. Damit ist der Speicherbedarf minimal und die Zugriffsgeschwindigkeit auf eine Komponente, sowohl beim Lesen als auch beim Modifizieren, maximal. Der Platz der Komponente `v[i]` ist sofort aus `i` berechenbar. \n",
"- Julias `Array{T,N}` (und damit Vektoren und Matrizen) ist für die üblichen numerischen Typen `T` in dieser Weise implementiert. Die Elemente werden *unboxed* gespeichert. Im Gegensatz dazu ist z.B. ein `Vector{Any}` implementiert als Liste von Adressen von Objekten *(boxed)* und nicht als Liste der Objekte selbst. \n",
"- Julias `Array{T,N}` speichert seine Elemente direkt *(unboxed)*, wenn `isbitstype(T) == true`.\n"
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "50682513",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"isbitstype(Float64), \n",
"isbitstype(Complex{Rational{Int64}}), \n",
"isbitstype(String)"
]
},
{
"cell_type": "markdown",
2024-04-08 14:20:54 +02:00
"id": "fc6ba262",
2023-05-12 20:12:56 +02:00
"metadata": {},
"source": [
"## Vektoren\n",
"\n",
"### Listen-artige Funktionen \n",
"\n",
"- `push!(vector, items...)` --- fügt Elemente am Ende des Vektors an\n",
"- `pushfirst!(vector, items...)` --- fügt Elemente am Anfang des Vektors an\n",
"- `pop!(vector)` --- entfernt letztes Element und liefert es als Ergebnis zurück,\n",
"- `popfirst!(vector)` --- entfernt erstes Element und liefert es zurück \n"
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "6a668c97",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"v = Float64[] # leerer Vector{Float64}\n",
"\n",
"push!(v, 3, 7)\n",
"pushfirst!(v, 1)\n",
"\n",
"a = pop!(v)\n",
"println(\"a= $a\")\n",
"\n",
"push!(v, 17)"
]
},
{
"cell_type": "markdown",
2024-04-08 14:20:54 +02:00
"id": "15639f3a",
2023-05-12 20:12:56 +02:00
"metadata": {},
"source": [
"Ein `push!()` kann sehr aufwändig sein, da eventuell neuer Speicher alloziert und dann der ganze bestehende Vektor umkopiert werden muss. Julia optimiert das Speichermanagement. Es wird in einem solchen Fall Speicher auf Vorrat alloziert, so dass weitere `push!`s sehr schnell sind und man 'fast O(1)-Geschwindigkeit' erreicht. \n",
"\n",
"Trotzdem sollte man bei zeitkritischem Code und sehr großen Feldern Operationen wie `push!()` oder `resize()` vermeiden.\n",
"\n",
"### Weitere Konstruktoren\n",
"\n",
2024-04-08 14:20:54 +02:00
"Man kann Vektoren mit vorgegebener Länge und Typ uninitialisiert anlegen. Das geht am Schnellsten, die Elemente sind zufällige Bitmuster.\n"
2023-05-12 20:12:56 +02:00
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "50f6c3b9",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"# fixe Länge 1000, uninitialisiert\n",
"\n",
"v = Vector{Float64}(undef, 1000)\n",
"v[345]"
]
},
{
"cell_type": "markdown",
2024-04-08 14:20:54 +02:00
"id": "5076f499",
2023-05-12 20:12:56 +02:00
"metadata": {},
"source": [
"- `zeros(n)` legt einen `Vector{Float64}` der Länge `n` an und initialisiert mit Null. \n"
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "8207df1d",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"v = zeros(7) "
]
},
{
"cell_type": "markdown",
2024-04-08 14:20:54 +02:00
"id": "7696ccaa",
2023-05-12 20:12:56 +02:00
"metadata": {},
"source": [
"- `zeros(T,n)` legt einen Nullvektor vom Typ `T` an.\n"
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "6e578ab8",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"v=zeros(Int, 4)"
]
},
{
"cell_type": "markdown",
2024-04-08 14:20:54 +02:00
"id": "6c9dc7a8",
2023-05-12 20:12:56 +02:00
"metadata": {},
"source": [
2024-04-08 14:20:54 +02:00
"- `fill(x, n)` legt `Vector{typeof(x)}` der Länge `n` an und füllt mit `x`.\n"
2023-05-12 20:12:56 +02:00
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "d9cba335",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"v = fill(sqrt(2), 5)"
]
},
{
"cell_type": "markdown",
2024-04-08 14:20:54 +02:00
"id": "2868cf5c",
2023-05-12 20:12:56 +02:00
"metadata": {},
"source": [
"- `similar(v)` legt einen uninitialisierten Vektor von gleichem Typ und Größe wie `v` an.\n"
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "62eca8f9",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"w = similar(v)"
]
},
{
"cell_type": "markdown",
2024-04-08 14:20:54 +02:00
"id": "7cbf3df1",
2023-05-12 20:12:56 +02:00
"metadata": {},
"source": [
"### Konstruktion durch implizite Schleife _(list comprehension)_\n",
"\n",
"Implizite `for`-Schleifen sind eine weitere Methode, Vektoren zu erzeugen.\n"
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "e07eaf25",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"v4 = [i for i in 1.0:8]"
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "2fce397a",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"v5 = [log(i^2) for i in 1:4 ]"
]
},
{
"cell_type": "markdown",
2024-04-08 14:20:54 +02:00
"id": "d3432e22",
2023-05-12 20:12:56 +02:00
"metadata": {},
"source": [
"Man kann sogar noch ein `if` unterbringen.\n"
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "c61e9e2c",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"v6 = [i^2 for i in 1:8 if i%3 != 2]"
]
},
{
"cell_type": "markdown",
2024-04-08 14:20:54 +02:00
"id": "7606acd1",
2023-05-12 20:12:56 +02:00
"metadata": {},
"source": [
"### Bitvektoren {#sec-bitvec}\n",
"\n",
"Neben `Vector{Bool}` gibt es noch den speziellen Datentyp `BitVector` (und allgemeiner auch `BitArray`) zur Speicherung von Feldern mit Wahrheitswerten. \n",
"\n",
"Während für die Speicherung eines `Bool`s ein Byte verwendet wird, erfolgt die Speicherung in einem BitVector bitweise. \n",
"\n",
"Der Konstruktor wandelt einen \n",
"`Vector{Bool}` in einen `BitVector` um.\n"
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "0d5b1e39",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"vb = BitVector([true, false, true, true])"
]
},
{
"cell_type": "markdown",
2024-04-08 14:20:54 +02:00
"id": "426cefd2",
2023-05-12 20:12:56 +02:00
"metadata": {},
"source": [
"Für die Gegenrichtung gibt es `collect()`.\n"
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "65291775",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"collect(vb)"
]
},
{
"cell_type": "markdown",
2024-04-08 14:20:54 +02:00
"id": "3f56c7c8",
2023-05-12 20:12:56 +02:00
"metadata": {},
"source": [
"BitVectoren entstehen z.B. als Ergebnis von elementweisen Vergleichen (s. @sec-broadcast).\n"
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "2584c04e",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"v4 .> 3.5"
]
},
{
"cell_type": "markdown",
2024-04-08 14:20:54 +02:00
"id": "6a0f2b5e",
2023-05-12 20:12:56 +02:00
"metadata": {},
"source": [
"### Indizierung\n",
"\n",
2024-04-08 14:20:54 +02:00
"Indizes sind Ordinalzahlen. Also __startet die Indexzählung mit 1.__\n",
2023-05-12 20:12:56 +02:00
"\n",
"Als Index kann man verwenden:\n",
"\n",
" - Integer\n",
" - Integer-wertigen Range (gleiche Länge oder kürzer)\n",
" - Integer-Vektor (gleiche Länge oder kürzer)\n",
" - Bool-Vektor oder BitVector (gleiche Länge)\n",
" \n",
" \n",
"Mit Indizes kann man Arrayelemente/teile lesen und schreiben.\n"
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "9180ff62",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"v = [ 3i + 5.2 for i in 1:8]"
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "cb5a9547",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"v[5]"
]
},
{
"cell_type": "markdown",
2024-04-08 14:20:54 +02:00
"id": "e58751f6",
2023-05-12 20:12:56 +02:00
"metadata": {},
"source": [
"Bei Zuweisungen wird die rechte Seite wenn nötig mit `convert(T,x)` in den Vektorelementetyp umgewandelt.\n"
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "d029af20",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"v[6] = 9999\n",
"v"
]
},
{
"cell_type": "markdown",
2024-04-08 14:20:54 +02:00
"id": "2561448e",
2023-05-12 20:12:56 +02:00
"metadata": {},
"source": [
"Überschreiten der Indexgrenzen führt zu einem `BoundsError`. \n"
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "06224d52",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"v[77]"
]
},
{
"cell_type": "markdown",
2024-04-08 14:20:54 +02:00
"id": "deb2c6b3",
2023-05-12 20:12:56 +02:00
"metadata": {},
"source": [
"Mit einem `range`-Objekt kann man einen Teilvektor adressieren.\n"
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "322752f1",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"vp = v[3:5]\n",
"vp"
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "a24080ff",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"vp = v[1:2:7] # range mit Schrittweite\n",
"vp"
]
},
{
"cell_type": "markdown",
2024-04-08 14:20:54 +02:00
"id": "9a7afae9",
2023-05-12 20:12:56 +02:00
"metadata": {},
"source": [
"- Bei der Verwendung als Index kann in einem Range der Spezialwert `end` verwendet werden.\n",
2024-04-08 14:20:54 +02:00
"- Bei der Verwendung als Index kann der \"leere\" Range `:` als Abkürzung von `1:end` verwendet werden. Das ist nützlich bei Matrizen: `A[:, 3]` adressiert die gesamte 3. Spalte von `A`. \n"
2023-05-12 20:12:56 +02:00
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "e7bfe889",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"v[6:end] = [7, 7, 7]\n",
"v"
]
},
{
"cell_type": "markdown",
2024-04-08 14:20:54 +02:00
"id": "178a0bd2",
2023-05-12 20:12:56 +02:00
"metadata": {},
"source": [
"#### Indirekte Indizierung\n",
"\n",
"Die indirekte Indizierung mit einem *Vector of Integers/Indices* erfolgt nach der Formel \n",
"\n",
"\n",
"$v[ [i_1,\\ i_2,\\ i_3,...]] = [\\ v[i_1],\\ v[i_2],\\ v[i_3],...]$\n"
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "f72a76df",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"v[ [1, 3, 4] ]"
]
},
{
"cell_type": "markdown",
2024-04-08 14:20:54 +02:00
"id": "f2d76c2c",
2023-05-12 20:12:56 +02:00
"metadata": {},
"source": [
"ist also gleich\n"
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "5c9556da",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"[ v[1], v[3], v[4] ]"
]
},
{
"cell_type": "markdown",
2024-04-08 14:20:54 +02:00
"id": "3d7b83ee",
2023-05-12 20:12:56 +02:00
"metadata": {},
"source": [
"#### Indizierung mit einem Vektor von Wahrheitswerten\n",
"\n",
"Als Index kann man auch einen `Vector{Bool}` oder `BitVector` (s. @sec-bitvec) **derselben Länge** verwenden. \n"
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "0995d191",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"v[ [true, true, false, false, true, false, true, true] ]"
]
},
{
"cell_type": "markdown",
2024-04-08 14:20:54 +02:00
"id": "f7ef567d",
2023-05-12 20:12:56 +02:00
"metadata": {},
"source": [
"Das ist nützlich, da man z.B.\n",
"\n",
" - Tests broadcasten kann (s. @sec-broadcast),\n",
" - diese Tests dann einen BitVector liefern und\n",
" - bei Bedarf solche Bitvektoren durch die Bit-weisen Operatoren `&` und `|` verknüpft werden können. \n"
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "eda29b0d",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"v[ (v .> 13) .& (v.<20) ]"
]
},
{
"cell_type": "markdown",
2024-04-08 14:20:54 +02:00
"id": "3f46137f",
2023-05-12 20:12:56 +02:00
"metadata": {},
"source": [
"## Matrizen und Arrays\n",
"\n",
"Die bisher vorgestellten Methoden für Vektoren übertragen sich auch auf höherdimensionale Arrays.\n",
"\n",
"Man kann sie uninitialisiert anlegen:\n"
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "a8bf798b",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"A = Array{Float64,3}(undef, 6,9,3)"
]
},
{
"cell_type": "markdown",
2024-04-08 14:20:54 +02:00
"id": "60e20aae",
2023-05-12 20:12:56 +02:00
"metadata": {},
"source": [
"In den meisten Funktionen kann man die Dimensionen auch als Tupel übergeben. Die obige Anweisung lässt sich auch so schreiben:\n",
"\n",
"```julia\n",
"A = Array{Float64, 3}(undef, (6,9,3)) \n",
"```\n",
"\n",
"Funktionen wie `zeros()` usw. funktionieren natürlich auch.\n"
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "50627ef8",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"m2 = zeros(3, 4, 2) # oder zeros((3,4,2)) "
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "fa2da287",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"M = fill(5 , (3, 3)) # oder fill(5, 3, 3)"
]
},
{
"cell_type": "markdown",
2024-04-08 14:20:54 +02:00
"id": "79c237c5",
2023-05-12 20:12:56 +02:00
"metadata": {},
"source": [
"Die Funktion `similar()`, die einen Array gleicher Größe uninitialisiert erzeugt, kann auch einen Typ als weiteres Argument bekommen.\n"
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "967c0a3e",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"M2 = similar(M, Float64)"
]
},
{
"cell_type": "markdown",
2024-04-08 14:20:54 +02:00
"id": "381254e3",
2023-05-12 20:12:56 +02:00
"metadata": {},
"source": [
"### Konstruktion durch explizite Elementliste\n",
"\n",
"Während man Vektoren kommagetrennt in eckigen Klammern notiert, ist die Notation für höherdimensionale Objekte etwas anders. \n",
"\n",
"- Eine Matrix:\n"
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "7100bcaf",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"M2 = [2 3 -1\n",
" 4 5 -2]"
]
},
{
"cell_type": "markdown",
2024-04-08 14:20:54 +02:00
"id": "45bef96a",
2023-05-12 20:12:56 +02:00
"metadata": {},
"source": [
"- dieselbe Matrix:\n"
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "7e6caf84",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"M2 = [2 3 -1; 4 5 -2]"
]
},
{
"cell_type": "markdown",
2024-04-08 14:20:54 +02:00
"id": "be6fedc8",
2023-05-12 20:12:56 +02:00
"metadata": {},
"source": [
"- Ein Array mit 3 Indizes:\n"
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "3f2233ce",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"M3 = [2 3 -1 \n",
" 4 5 6 ;;;\n",
" 7 8 9\n",
" 11 12 13]"
]
},
{
"cell_type": "markdown",
2024-04-08 14:20:54 +02:00
"id": "e3bee379",
2023-05-12 20:12:56 +02:00
"metadata": {},
"source": [
"- und nochmal die Matrix `M2`:\n"
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "efa9ecd7",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"M2 = [2;4;; 3;5;; -1;-2]"
]
},
{
"cell_type": "markdown",
2024-04-08 14:20:54 +02:00
"id": "fa6e923a",
2023-05-12 20:12:56 +02:00
"metadata": {},
"source": [
"Im letzten Beispiel kommen diese Regeln zur Anwendung:\n",
"\n",
"- Trenner ist das Semikolon.\n",
"- Ein Semikolon `;` erhöht den 1. Index.\n",
"- Zwei Semikolons `;;` erhöhen den 2. Index.\n",
"- Drei Semikolons `;;;` erhöhen den 3. Index usw. \n",
"\n",
"In den Beispielen davor wurde folgende Syntaktische Verschönerung (_syntactic sugar_) angewendet:\n",
"\n",
"- Leerzeichen trennen wie 2 Semikolons -- erhöht also den 2. Index: $\\quad a_{12}\\quad a_{13}\\quad a_{14}\\ ...$\n",
"- Zeilenumbruch trennt wie ein Semikolon -- erhöht also den 1. Index.\n",
"\n",
"\n",
":::{.callout-important}\n",
"\n",
2024-04-08 14:20:54 +02:00
"- Vektorschreibweise mit Komma als Trenner geht nur bei Vektoren, nicht mit \"Semikolon, Leerzeichen, Newline\" mischen! \n",
"- Vektoren, $1\\!\\times\\!n$-Matrizen und $n\\!\\times\\!1$-Matrizen sind drei verschiedene Dinge!\n"
2023-05-12 20:12:56 +02:00
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "20499e99",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"v1 = [2,3,4]"
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "e8554e3f",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"v2 = [2;3;4]"
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "d42f242f",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"v3 = [2 3 4]"
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "f76b20d5",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"v3 = [2;3;4;;]"
]
},
{
"cell_type": "markdown",
2024-04-08 14:20:54 +02:00
"id": "a049e8a8",
2023-05-12 20:12:56 +02:00
"metadata": {},
"source": [
":::\n",
"\n",
"\n",
"Einen \"vector of vectors\" a la C/C++ kann man natürlich auch konstruieren. \n"
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "73cfb832",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"v = [[2,3,4], [5,6,7,8]]"
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "55f2f419",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"v[2][3]"
]
},
{
"cell_type": "markdown",
2024-04-08 14:20:54 +02:00
"id": "69072c6f",
2023-05-12 20:12:56 +02:00
"metadata": {},
"source": [
"Das sollte man nur in Spezialfällen tun. Die Array-Sprache von Julia ist in der Regel bequemer und schneller.\n",
"\n",
"### Indizes, Teilfelder, Slices\n"
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "f8d1140f",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"# 6x6 Matrix mit Zufallszahlen gleichverteilt aus [0,1) ∈ Float64\n",
"A = rand(6,6)"
]
},
{
"cell_type": "markdown",
2024-04-08 14:20:54 +02:00
"id": "7ca06ccd",
2023-05-12 20:12:56 +02:00
"metadata": {},
"source": [
"Die übliche Indexnotation:\n"
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "117b78c9",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"A[2, 3] = 77.77777\n",
"A"
]
},
{
"cell_type": "markdown",
2024-04-08 14:20:54 +02:00
"id": "6a1d738b",
2023-05-12 20:12:56 +02:00
"metadata": {},
"source": [
"Man kann mit Ranges Teilfelder adressieren:\n"
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "733f15a6",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"B = A[1:2, 1:3]"
]
},
{
"cell_type": "markdown",
2024-04-08 14:20:54 +02:00
"id": "212c6e6d",
2023-05-12 20:12:56 +02:00
"metadata": {},
"source": [
"Das Adressieren von Teilen mit geringerer Dimension wird auch *slicing* genannt.\n"
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "2190a0d6",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"# die 3. Spalte als Vektor (slicing)\n",
"\n",
"C = A[:, 3]"
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "94e3dc5b",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"# die 3. Zeile als Vektor (slicing)\n",
"\n",
"E = A[3, :]"
]
},
{
"cell_type": "markdown",
2024-04-08 14:20:54 +02:00
"id": "45c89587",
2023-05-12 20:12:56 +02:00
"metadata": {},
"source": [
"Natürlich sind damit auch Zuweisungen möglich:\n"
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "beca175d",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"# Man kann slices und Teilfeldern auch etwas zuweisen \n",
"\n",
"A[2, :] = [1,2,3,4,5,6]\n",
"A"
]
},
{
"cell_type": "markdown",
2024-04-08 14:20:54 +02:00
"id": "9dd8da68",
2023-05-12 20:12:56 +02:00
"metadata": {},
"source": [
"## Verhalten bei Zuweisungen, `copy()` und `deepcopy()`, Views\n",
"\n",
"### Zuweisungen und Kopien\n",
"\n",
"- Variablen sind Referenzen auf Objekte. \n",
"- _Eine Zuweisung zu einer Variablen erzeugt kein neues Objekt._\n"
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "e7ece88d",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"A = [1, 2, 3]\n",
"B = A"
]
},
{
"cell_type": "markdown",
2024-04-08 14:20:54 +02:00
"id": "390e8338",
2023-05-12 20:12:56 +02:00
"metadata": {},
"source": [
"`A` und `B` sind jetzt Namen desselben Objekts.\n"
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "ad71682b",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"A[1] = 77\n",
"@show B;"
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "9422450b",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"B[3] = 300\n",
"@show A;"
]
},
{
"cell_type": "markdown",
2024-04-08 14:20:54 +02:00
"id": "ce960e49",
2023-05-12 20:12:56 +02:00
"metadata": {},
"source": [
"Dieses Verhalten spart viel Zeit und Speicher, ist aber nicht immer gewünscht. \n",
"Die Funktion `copy()` erzeugt eine 'echte' Kopie des Objekts.\n"
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "61fd903e",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"A = [1, 2, 3]\n",
"B = copy(A)\n",
"A[1] = 100\n",
"@show A B;"
]
},
{
"cell_type": "markdown",
2024-04-08 14:20:54 +02:00
"id": "cf24b145",
2023-05-12 20:12:56 +02:00
"metadata": {},
"source": [
"Die Funktion \n",
"`deepcopy(A)` kopiert rekursiv. Auch von den Elementen, aus denen `A` besteht, werden (wieder rekursive) Kopien erstellt. \n",
"\n",
"Solange ein Array nur primitive Objekte (Zahlen) enthält, sind `copy()` und `deepcopy()` äquivalent. \n",
"\n",
"Das folgende Beispiel zeigt den Unterschied zwischen `copy()` und `deepcopy()`.\n"
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "174a9513",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"mutable struct Person\n",
" name :: String\n",
" age :: Int\n",
"end\n",
"\n",
"A = [Person(\"Meier\", 20), Person(\"Müller\", 21), Person(\"Schmidt\", 23)]\n",
"B = A\n",
"C = copy(A)\n",
"D = deepcopy(A)"
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "79dac2ba",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"A[1] = Person(\"Mustermann\", 83)\n",
"A[3].age = 199 \n",
"\n",
"@show B C D;"
]
},
{
"cell_type": "markdown",
2024-04-08 14:20:54 +02:00
"id": "8adee725",
2023-05-12 20:12:56 +02:00
"metadata": {},
"source": [
"### Views\n",
"\n",
"Wenn man mittels *indices/ranges/slices* einer Variablen ein Teilstück eines Arrays zuweist, \n",
"wird von Julia grundsätzlich **ein neues Objekt** konstruiert.\n"
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "0aeffcf9",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"A = [1 2 3\n",
" 3 4 5]\n",
"\n",
"v = A[:, 2]\n",
"@show v\n",
"\n",
"A[1, 2] = 77\n",
"@show A v;"
]
},
{
"cell_type": "markdown",
2024-04-08 14:20:54 +02:00
"id": "1e2f7d51",
2023-05-12 20:12:56 +02:00
"metadata": {},
"source": [
"Manchmal möchte man aber gerade hier eine Referenz-Semantik haben im Sinne von: \"Vektor `v` soll der 2. Spaltenvektor von `A` sein und auch bleiben (d.h., sich mitändern, wenn sich `A` ändert).\"\n",
"\n",
"Dies bezeichnet man in Julia als *views*: Wir wollen, dass die Variable `v` nur einen 'alternativen Blick' auf die Matrix `A` darstellt.\n",
"\n",
"Das kann man erreichen durch das `@view`-Macro: \n"
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "1ea24972",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"A = [1 2 3\n",
" 3 4 5]\n",
"\n",
"v = @view A[:,2]\n",
"@show v\n",
"\n",
"A[1, 2] = 77\n",
"@show v;"
]
},
{
"cell_type": "markdown",
2024-04-08 14:20:54 +02:00
"id": "929d0c0c",
2023-05-12 20:12:56 +02:00
"metadata": {},
"source": [
"Diese Technik wird von Julia aus Effizienzgründen auch bei einigen Funktionen der linearen Algebra verwendet. \n",
"Ein Beispiel ist der Operator `'`, der zu einer Matrix `A` die adjungierte Matrix `A'` liefert.\n",
"\n",
"- Die adjungierte _(adjoint)_ Matrix `A'` ist die transponierte und elementweise komplex-konjugierte Matrix zu `A`. \n",
"- Der Parser macht daraus den Funktionsaufruf `adjoint(A)`. \n",
"- Für reelle Matrizen ist die Adjungierte gleich der transponierten Matrix.\n",
"- Julia implementiert `adjoint()` als _lazy function_, d.h., \n",
"- es wird aus Effizienzgründen kein neues Objekt konstruiert, sondern nur ein alternativer 'View' auf die Matrix (\"mit vertauschten Indizes\") und ein alternativer 'View' auf die Einträge (mit Vorzeichenwechsel im Imaginärteil).\n",
"- Aus Vektoren macht `adjoint()` eine $1\\!\\times\\!n$-Matrix (einen Zeilenvektor).\n"
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "4eab95b5",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"A = [ 1. 2.\n",
" 3. 4.]\n",
"B = A'"
]
},
{
"cell_type": "markdown",
2024-04-08 14:20:54 +02:00
"id": "05788cae",
2023-05-12 20:12:56 +02:00
"metadata": {},
"source": [
"Die Matrix `B` ist nur ein modifizierter 'View' auf `A`:\n"
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "8cbbd3b6",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"A[1, 2] =10\n",
"B"
]
},
{
"cell_type": "markdown",
2024-04-08 14:20:54 +02:00
"id": "67cfc86f",
2023-05-12 20:12:56 +02:00
"metadata": {},
"source": [
"Aus Vektoren macht `adjoint()` eine $1\\!\\times\\!n$-Matrix (einen Zeilenvektor).\n"
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "5bbd675d",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"v = [1, 2, 3]\n",
"v'"
]
},
{
"cell_type": "markdown",
2024-04-08 14:20:54 +02:00
"id": "c6a6095a",
2023-05-12 20:12:56 +02:00
"metadata": {},
"source": [
"Eine weitere solche Funktion, die einen alternativen 'View', eine andere Indizierung, derselben Daten \n",
"liefert, ist `reshape()`. \n",
"\n",
"Hier wird ein Vektor mit 12 Einträgen in eine 3x4-Matrix verwandelt.\n"
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "6f9b3031",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"A = [1,2,3,4,5,6,7,8,9,10,11,12]\n",
"\n",
"B = reshape(A, 3, 4) "
]
},
{
"cell_type": "markdown",
2024-04-08 14:20:54 +02:00
"id": "a113beb5",
2023-05-12 20:12:56 +02:00
"metadata": {},
"source": [
"## Speicherung eines Arrays\n",
"\n",
"- Speicher wird linear adressiert. Eine Matrix kann zeilenweise _(row major)_ oder spaltenweise _(column major)_ im Speicher angeordnet sein. \n",
"- C/C++/Python(NumPy) verwenden eine zeilenweise Speicherung: Die 4 Elemente einer 2x2-Matrix sind abgespeichert in der Reihenfolge $a_{11},a_{12},a_{21},a_{22}$. \n",
"- Julia, Fortran, Matlab speichern spaltenweise: $a_{11},a_{21},a_{12},a_{22}$. \n",
"\n",
"Diese Information ist wichtig, um effizient über Matrizen zu iterieren:\n"
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "d465b690",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"function column_major_add(A, B)\n",
" (n,m) = size(A)\n",
" for j = 1:m\n",
" for i = 1:n # innere Schleife durchläuft eine Spalte\n",
" A[i,j] += B[i,j]\n",
" end\n",
" end\n",
"end\n",
"\n",
"function row_major_add(A, B)\n",
" (n,m) = size(A)\n",
" for i = 1:n\n",
" for j = 1:m # inere Schleife durchläuft eine Zeile\n",
" A[i,j] += B[i,j]\n",
" end\n",
" end\n",
"end"
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "eba4dc73",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"A = rand(10000, 10000);\n",
"B = rand(10000, 10000);"
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "ae245931",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"using BenchmarkTools\n",
"\n",
"@benchmark row_major_add($A, $B) "
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "604ed987",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"@benchmark column_major_add($A, $B)"
]
},
{
"cell_type": "markdown",
2024-04-08 14:20:54 +02:00
"id": "18adb785",
2023-05-12 20:12:56 +02:00
"metadata": {},
"source": [
"### Lokalität von Speicherzugriffen und _Caching_\n",
"\n",
"Wir haben gesehen, dass die Reihenfolge von innerem und äußerem Loop einen erheblichen Geschwindigkeitsunterschied macht:\n",
"\n",
"__Es ist effizienter, wenn die innerste Schleife über den linken Index läuft__, also eine Spalte und nicht eine Zeile durchläuft. Die Ursache dafür liegt in der Architektur moderner Prozessoren.\n",
"\n",
"- Speicherzugriffe erfolgt über mehrere Cache-Ebenen. \n",
"- Ein _cache miss_, der ein Nachladen aus langsameren Caches auslöst, bremst aus.\n",
"- Es werden immer gleich größere Speicherblöcke nachgeladen, um die Häufigkeit von _cache misses_ zu minimieren.\n",
"- Daher ist es wichtig, Speicherzugriffe möglichst lokal zu organisieren.\n",
"\n",
"::: {.content-visible when-format=\"html\"}\n",
"![Speicherhierarchie von Intel-Prozessoren, aus: Victor Eijkhout,_Introduction to High-Performance Scientific Computing_, [https://theartofhpc.com/](https://theartofhpc.com/)](../images/cache.png){width=\"75%\"}\n",
"\n",
":::\n",
"\n",
"::: {.content-visible when-format=\"pdf\"}\n",
"![Speicherhierarchie von Intel-Prozessoren, aus: Victor Eijkhout,_Introduction to High-Performance Scientific Computing_, [https://theartofhpc.com/](https://theartofhpc.com/)](../images/cache.png){width=\"70%\"}\n",
":::\n",
"\n",
"\n",
"## Mathematische Operationen mit Arrays\n",
"\n",
"Arrays der gleichen Dimension (z.B. alle $7\\!\\times\\!3$-Matrizen) bilden einen linearen Raum. \n",
"\n",
" - Sie können mit Skalaren multipliziert werden und\n",
" - sie können addiert und subtrahiert werden.\n"
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "dfb3003d",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"0.5 * [2, 3, 4, 5]"
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "48d71570",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"0.5 * [ 1 3\n",
" 2 7] - [ 2 3; 1 2]"
]
},
{
"cell_type": "markdown",
2024-04-08 14:20:54 +02:00
"id": "6c87a401",
2023-05-12 20:12:56 +02:00
"metadata": {},
"source": [
"### Matrixprodukt\n",
"\n",
"Das Matrixprodukt ist definiert für \n",
"\n",
":::{.narrow}\n",
"\n",
"| 1. Faktor | 2. Faktor | Produkt |\n",
"| :-: | :-: | :-: |\n",
"| $(n\\!\\times\\!m)$-Matrix | $(m\\!\\times\\!k)$-Matrix | $(n\\times k)$-Matrix|\n",
"| $(n\\!\\times\\!m)$-Matrix | $m$-Vektor | $n$-Vektor |\n",
"| $(1\\!\\times\\!m)$-Zeilenvektor | $(m\\!\\times\\!n)$-Matrix | $n$-Vektor |\n",
"| $(1\\!\\times\\!m)$-Zeilenvektor | $m$-Vektor | Skalarprodukt |\n",
"| $m$-Vektor | $(1\\times n)$-Zeilenvektor | $(m\\!\\times\\!n)$-Matrix |\n",
"\n",
":::\n",
"\n",
"Beispiele:\n"
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "05935615",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"A = [1 2 3\n",
" 4 5 6]\n",
"v = [2, 3]\n",
"w = [1, 3, 4];"
]
},
{
"cell_type": "markdown",
2024-04-08 14:20:54 +02:00
"id": "dce2784e",
2023-05-12 20:12:56 +02:00
"metadata": {},
"source": [
"- (2,3)-Matrix `*` (3,2)-Matrix\n"
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "7598bc25",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"A * A'"
]
},
{
"cell_type": "markdown",
2024-04-08 14:20:54 +02:00
"id": "55f9d6b9",
2023-05-12 20:12:56 +02:00
"metadata": {},
"source": [
"- (3,2)-Matrix `*` (2,3)-Matrix\n"
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "564ad780",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"A' * A"
]
},
{
"cell_type": "markdown",
2024-04-08 14:20:54 +02:00
"id": "40ac054a",
2023-05-12 20:12:56 +02:00
"metadata": {},
"source": [
"- (2,3)-Matrix `*` 3-Vektor\n"
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "b786671d",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"A * w"
]
},
{
"cell_type": "markdown",
2024-04-08 14:20:54 +02:00
"id": "2e1d3ac5",
2023-05-12 20:12:56 +02:00
"metadata": {},
"source": [
"- (1,2)-Vektore `*` (2,3)-Matrix\n"
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "0ffa79ec",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"v' * A"
]
},
{
"cell_type": "markdown",
2024-04-08 14:20:54 +02:00
"id": "63ef7bb9",
2023-05-12 20:12:56 +02:00
"metadata": {},
"source": [
"- (3,2)-Matrix `*` 2-Vektor\n"
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "b0f948d5",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"A' * v"
]
},
{
"cell_type": "markdown",
2024-04-08 14:20:54 +02:00
"id": "fd1bc853",
2023-05-12 20:12:56 +02:00
"metadata": {},
"source": [
"- (1,2)-Vektor `*` 2-Vektor (Skalarprodukt)\n"
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "5dab68d0",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"v' * v"
]
},
{
"cell_type": "markdown",
2024-04-08 14:20:54 +02:00
"id": "f968aace",
2023-05-12 20:12:56 +02:00
"metadata": {},
"source": [
"2-Vektor `*` (1,3)-Vektor (äußeres Produkt) \n"
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "1e9d367d",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"v * w'"
]
},
{
"cell_type": "markdown",
2024-04-08 14:20:54 +02:00
"id": "5550f800",
2023-05-12 20:12:56 +02:00
"metadata": {},
"source": [
"## Broadcasting {#sec-broadcast}\n",
"\n",
"- Beim _broadcasting_ werden Operationen oder Funktionen __elementweise__ auf Arrays angewendet.\n",
"- Die Syntax dafür ist ein Punkt _vor_ einem Operationszeichen oder _nach_ einem Funktionsnamen. \n",
"- Der Parser setzt `f.(x,y)` um zu `broadcast(f, x, y)` und analog für Operatoren `x .⊙ y` zu `broadcast(⊙, z, y)`. \n",
"- Dabei werden Operanden, denen eine oder mehrere Dimensionen fehlen, in diesen Dimensionen (virtuell) vervielfältigt. \n",
"- Das *broadcasting* von Zuweisungen `.=`, `.+=`,... verändert die Semantik. Es wird kein neues Objekt erzeugt, sondern die Werte werden in das links stehende Objekt (welches die richtige Dimension haben muss) eingetragen.\n",
"\n",
"\n",
"Einige Beispiele:\n",
"\n",
"- Elementweise Anwendung einer Funktion\n"
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "cf644168",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"sin.([1, 2, 3])"
]
},
{
"cell_type": "markdown",
2024-04-08 14:20:54 +02:00
"id": "ad8b4971",
2023-05-12 20:12:56 +02:00
"metadata": {},
"source": [
"- Das Folgende liefert nicht die algebraische [Wurzel aus einer Matrix](https://de.wikipedia.org/wiki/Quadratwurzel_einer_Matrix), sondern die elementweise Wurzel aus jedem Eintrag. \n"
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "b4538387",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"A = [8 2\n",
" 3 4]\n",
"\n",
"sqrt.(A)"
]
},
{
"cell_type": "markdown",
2024-04-08 14:20:54 +02:00
"id": "3707abc5",
2023-05-12 20:12:56 +02:00
"metadata": {},
"source": [
"- Das Folgende liefert nicht $A^2$, sondern die Einträge werden quadriert.\n"
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "5f37e6fb",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"A.^2 "
]
},
{
"cell_type": "markdown",
2024-04-08 14:20:54 +02:00
"id": "e29962a4",
2023-05-12 20:12:56 +02:00
"metadata": {},
"source": [
2024-04-08 14:20:54 +02:00
"- Zum Vergleich das Ergebnis der algebraischen Operationen:\n"
2023-05-12 20:12:56 +02:00
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "1b596daf",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"@show A^2 A^(1/2);"
]
},
{
"cell_type": "markdown",
2024-04-08 14:20:54 +02:00
"id": "8f03b0b1",
2023-05-12 20:12:56 +02:00
"metadata": {},
"source": [
"- Broadcasting geht auch mit Funktionen mehrerer Variablen.\n"
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "e6b8bee2",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"hyp(a,b) = sqrt(a^2+b^2)\n",
"\n",
"B = [3 4\n",
" 5 7]\n",
"\n",
"hyp.(A, B) "
]
},
{
"cell_type": "markdown",
2024-04-08 14:20:54 +02:00
"id": "1b26105a",
2023-05-12 20:12:56 +02:00
"metadata": {},
"source": [
"Bei Operanden verschiedener Dimension wird der Operand mit fehlenden Dimensionen in diesen durch Vervielfältigung virtuell \n",
"'aufgeblasen'.\n",
"\n",
"Wir addieren einen Skalar zu einer Matrix:\n"
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "e93a5c94",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"A = [ 1 2 3\n",
" 4 5 6]"
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "1ffed9b6",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"A .+ 300"
]
},
{
"cell_type": "markdown",
2024-04-08 14:20:54 +02:00
"id": "20ad8893",
2023-05-12 20:12:56 +02:00
"metadata": {},
"source": [
"Der Skalar wurde durch Replikation auf dieselbe Dimension wie die Matrix gebracht. Wir lassen uns von `broadcast()` die Form des 2. Operanden nach dem *broadcasting* anzeigen: \n"
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "f1cb0ee6",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"broadcast( (x,y) -> y, A, 300)"
]
},
{
"cell_type": "markdown",
2024-04-08 14:20:54 +02:00
"id": "241dbfa0",
2023-05-12 20:12:56 +02:00
"metadata": {},
"source": [
"(Natürlich findet diese Replikation nur virtuell statt. Dieses Objekt wird bei anderen Operationen nicht wirklich erzeugt.)\n",
"\n",
"Als weiteres Beispiel: Matrix und (Spalten-)Vektor\n"
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "429dabe1",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"A .+ [10, 20]"
]
},
{
"cell_type": "markdown",
2024-04-08 14:20:54 +02:00
"id": "de953456",
2023-05-12 20:12:56 +02:00
"metadata": {},
"source": [
"Der Vektor wird durch Wiederholung der Spalten aufgeblasen:\n"
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "9f5535f6",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"broadcast((x,y)->y, A, [10,20])"
]
},
{
"cell_type": "markdown",
2024-04-08 14:20:54 +02:00
"id": "2627365f",
2023-05-12 20:12:56 +02:00
"metadata": {},
"source": [
"Matrix und Zeilenvektor: Der Zeilenvektor wird zeilenweise vervielfältigt:\n"
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "962474ab",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"A .* [1,2,3]' # Adjungierter Vektor"
]
},
{
"cell_type": "markdown",
2024-04-08 14:20:54 +02:00
"id": "ac7a3201",
2023-05-12 20:12:56 +02:00
"metadata": {},
"source": [
"Der 2. Operand wird von `broadcast()` durch Vervielfältigung der Zeilen 'aufgeblasen'.\n"
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "d83acb56",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"broadcast((x,y)->y, A, [1,2,3]')"
]
},
{
"cell_type": "markdown",
2024-04-08 14:20:54 +02:00
"id": "80457191",
2023-05-12 20:12:56 +02:00
"metadata": {},
"source": [
"#### _Broadcasting_ bei Zuweisungen\n",
"\n",
"Zuweisungen `=`, `+=`, `/=`,..., bei denen links ein Name steht, laufen in Julia so ab, dass aus der rechten Seite ein Objekt konstruiert und diesem Objekt der neue Name zugewiesen wird. \n",
"\n",
"Beim Arbeiten mit Arrays will man allerdings sehr oft aus Effizienzgründen einen bestehenden Array weiterverwenden. Die rechts berechneten Einträge sollen in das bereits existierende Objekt auf der linken Seite eingetragen werden. \n",
"\n",
"Das erreicht man mit den Broadcast-Varianten `.=`, `.+=`,... der Zuweisungsoperatoren.\n"
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "bee75c40",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"A .= 3"
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "bf5e8b92",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"A .+= [1, 4]"
]
},
{
"cell_type": "markdown",
2024-04-08 14:20:54 +02:00
"id": "98dd945c",
2023-05-12 20:12:56 +02:00
"metadata": {},
"source": [
"## Weitere Array-Funktionen - eine Auswahl\n",
"\n",
"Julia stellt eine große Anzahl von Funktionen bereit, die mit Arrays arbeiten.\n"
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "519a4401",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"A = [22 -17 8 ; 4 6 9]"
]
},
{
"cell_type": "markdown",
2024-04-08 14:20:54 +02:00
"id": "439eed6b",
2023-05-12 20:12:56 +02:00
"metadata": {},
"source": [
"- Finde das Maximum\n"
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "ec143467",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"maximum(A)"
]
},
{
"cell_type": "markdown",
2024-04-08 14:20:54 +02:00
"id": "d15dfe99",
2023-05-12 20:12:56 +02:00
"metadata": {},
"source": [
"- Finde das Maximum jeder Spalte\n"
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "533c06d7",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"maximum(A, dims=1) "
]
},
{
"cell_type": "markdown",
2024-04-08 14:20:54 +02:00
"id": "5f1a1b2a",
2023-05-12 20:12:56 +02:00
"metadata": {},
"source": [
"- Finde das Maximum jeder Zeile\n"
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "c34651ef",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"maximum(A, dims=2)"
]
},
{
"cell_type": "markdown",
2024-04-08 14:20:54 +02:00
"id": "f3fdef0e",
2023-05-12 20:12:56 +02:00
"metadata": {},
"source": [
"- Finde das Minimum und seine Position\n"
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "98e5091d",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"amin, i = findmin(A)"
]
},
{
"cell_type": "markdown",
2024-04-08 14:20:54 +02:00
"id": "2e7763ec",
2023-05-12 20:12:56 +02:00
"metadata": {},
"source": [
2024-04-08 14:20:54 +02:00
"- Was ist ein `CartesianIndex`?\n"
2023-05-12 20:12:56 +02:00
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "af1ba0fd",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"dump(i)"
]
},
{
"cell_type": "markdown",
2024-04-08 14:20:54 +02:00
"id": "6ab6f7d3",
2023-05-12 20:12:56 +02:00
"metadata": {},
"source": [
"- Extrahiere die Indizes des Minimum als Tupel\n"
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "d05a38b9",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"i.I"
]
},
{
"cell_type": "markdown",
2024-04-08 14:20:54 +02:00
"id": "086a84fa",
2023-05-12 20:12:56 +02:00
"metadata": {},
"source": [
"- Summe und Produkt aller Einträge\n"
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "da8c7d9d",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"sum(A), prod(A)"
]
},
{
"cell_type": "markdown",
2024-04-08 14:20:54 +02:00
"id": "00dafdb6",
2023-05-12 20:12:56 +02:00
"metadata": {},
"source": [
"- Spaltensumme (1. Index wird reduziert)\n"
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "5396cf9f",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"sum(A, dims=1) "
]
},
{
"cell_type": "markdown",
2024-04-08 14:20:54 +02:00
"id": "22bb7bc0",
2023-05-12 20:12:56 +02:00
"metadata": {},
"source": [
"- Zeilensummen (2. Index wird reduziert)\n"
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "d4b2df7a",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"sum(A, dims=2) "
]
},
{
"cell_type": "markdown",
2024-04-08 14:20:54 +02:00
"id": "8034a3be",
2023-05-12 20:12:56 +02:00
"metadata": {},
"source": [
"- Summiere nach elementweiser Anwendung einer Funktion\n"
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "7ba1e90d",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"sum(x->sqrt(abs(x)), A) # sum_ij sqrt(|a_ij|)"
]
},
{
"cell_type": "markdown",
2024-04-08 14:20:54 +02:00
"id": "3e5683c0",
2023-05-12 20:12:56 +02:00
"metadata": {},
"source": [
"- Reduziere (falte) den Array mit einer Funktion\n"
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "159aaf26",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"reduce(+, A) # equivalent to sum(A)"
]
},
{
"cell_type": "markdown",
2024-04-08 14:20:54 +02:00
"id": "88a48c23",
2023-05-12 20:12:56 +02:00
"metadata": {},
"source": [
"- `mapreduce(f, op, array)`: Wende `f` auf alle Einträge an, dann reduziere mit `op`\n"
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "4ea5e808",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"mapreduce(x -> x^2, +, A ) # Summe der Quadrate aller Einträge"
]
},
{
"cell_type": "markdown",
2024-04-08 14:20:54 +02:00
"id": "f6373c3d",
2023-05-12 20:12:56 +02:00
"metadata": {},
"source": [
"- Gibt es Elemente in A, die > 5 sind? \n"
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "f3aac8eb",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"any(x -> x>5, A) "
]
},
{
"cell_type": "markdown",
2024-04-08 14:20:54 +02:00
"id": "9e9df67c",
2023-05-12 20:12:56 +02:00
"metadata": {},
"source": [
"- Wieviele Elemente in A sind > 5?\n"
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "8377529f",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"count(x-> x>5, A) "
]
},
{
"cell_type": "markdown",
2024-04-08 14:20:54 +02:00
"id": "b3038478",
2023-05-12 20:12:56 +02:00
"metadata": {},
"source": [
"- sind alle Einträge positiv?\n"
]
},
{
"cell_type": "code",
"execution_count": null,
2024-04-08 14:20:54 +02:00
"id": "911556d1",
2023-05-12 20:12:56 +02:00
"metadata": {},
"outputs": [],
"source": [
"all(x-> x>0, A)"
]
}
],
"metadata": {
"kernelspec": {
2024-04-08 14:20:54 +02:00
"display_name": "Julia 1.10.2",
2023-05-12 20:12:56 +02:00
"language": "julia",
2024-04-08 14:20:54 +02:00
"name": "julia-1.10"
2023-05-12 20:12:56 +02:00
}
},
"nbformat": 4,
"nbformat_minor": 5
}