• Keine Ergebnisse gefunden

Mathematics for linguists

N/A
N/A
Protected

Academic year: 2022

Aktie "Mathematics for linguists"

Copied!
18
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Volltext

(1)

Mathematics for linguists

Gerhard J¨ager

gerhard.jaeger@uni-tuebingen.de

Uni T¨ubingen, WS 2009/2010

October 29, 2009

(2)

Ordered pairs

sets are not ordered: {a, b}={b, a}

for many applications we need ordered structures

most basic example: ordered pairha, bi

ordered:

Ifa6=b, thenha, bi 6=hb, ai.

extensional:

ha1, b1i=ha2, b2iif and only if a1=a2 andb1=b2.

Set theoretic definition ha, bi .

={{a},{a, b}}

(3)

Ordered pairs and tuples

set theoretic definition does what it is supposed to do, because:

Ifa6=b, then{{a},{a, b}} 6={{a},{a, b}}.

{{a1},{a1, b1}}={{a2},{a2, b2}}if and only ifa1=a2and b1=b2.

ordered n-tuples can be defined recursively as ordered pairs ha, b, ci .

= hha, bi, ci ha, b, c, di .

= hha, b, ci, di ...

ha1, . . . , ani = hha1, . . . , an−1i, ani

(4)

The Cartesian product

Cartesian product:

operation between two sets

notation:A×B

set of all ordered pairs, such that the first element comes from Aand the second one fromB:

A×B ={ha, bi|aAandbB}

(5)

The Cartesian product

examples

LetK={a, b, c} andL={1,2}.

K×L = {ha,1i,ha,2i,hb,1i,ha,2i,hc,1i,hc,2i}

L×K = {h1, ai,h1, bi,h1, ci,h2, ai,h2, bi,h2, ci}

K×K = {ha, ai,ha, bi,ha, ci,hb, ai,hb, bi,hb, ci, hc, ai,hc, bi,hc, ci}

L×L = {h1,1i,h1,2i,h2,1i,h2,2i}

K× ∅ = L× ∅ =

Observation: IfA andB are finite, then:

|A×B|=|A| × |B|

(6)

The Cartesian product

Cartesian product between more than two sets:

A×B×C .

= (A×B)×C

similarly for more than three sets

A×B×C is the set of all triples (“3-tuple”), such that the first component is an element ofA, the second one an element ofB, the the third one an element ofC.

again, this holds analogously for more than three sets

Notations:

Π1≤i≤nAi .

=A1×A2× · · · ×An (Do not confuse with projection operations!)

An .

=A× · · · ×A

| {z }

ntimes

(7)

Projections

projection operations map an ordered pair to on of its components:

π0(ha, bi) .

= a π1(ha, bi) .

= b

Besides, there are projection operations from sets of ordered pairs to the set of the first (second) elements:

Π0(R) .

= {x|There is an a∈R such that π0(a) =x}

Π1(R) .

= {x|There is an a∈R such that π1(a) =x}

(8)

Relations

Intuitive basis:

A (binary) relation is a relation between two objects.

Can be expressed by a transitive verb or a construction like [noun] of/[adjective in comparative form] than

examples:

mother of

taller than

predecessor of

loves

is interested in

. . .

(9)

Relations

mathematical modeling: extensional

It is only important between which objects a relation holds;

it is not important howthe relation is characterized

for instance: If every person (within the universe of discourse) loves their spouse and nobody loves anybody else than their spouse, then the relations of “loving” and of “is spouse of”

are identical.

(10)

Relations

notation:

relations are frequently written asR, S, T, . . .

“astands in relation Rtob” is written asR(a, b)orRabor aRb

A relation is a set of ordered pairs.

Definition

R is a relation iff there are setsA andB such that R⊆A×B.

The notationRab (R(a, b), aRb) is thus a shorthand forha, bi ∈R.

(11)

Relations

LetR⊆A×B.

R is a relation between Aand B or fromA toB.

π0[R] :={a∈A|a=π0(ha, bi) for some ha, bi ∈R} ⊆A

π1[R] :={b∈B|b=π1(ha, bi) for some ha, bi ∈R} ⊆B

π0[R]is the domainofR (German: Definitionsbereich)

π1[R]is the Rangeof R (German:Wertebereich)

Relations are sets, hence set theoretic operations are defined for them. For instance:

R= (A×B)−R

(12)

Relations

Inverse relation LetR⊆A×B.

R−1 is the inverse Relationto R.

Rab iff R−1ba

R−1:={ha, bi ∈B×A|hb, ai ∈R}

π0[R] =π1[R−1]

π1[R] =π0[R−1]

(13)

Relations

Examples:

A={1,2,3}

B ={a, b, c}

R={h1, ai,h1, ci,h2, ai}

π0[R] ={1,2} ⊆A

π1[R] ={a, c} ⊆B

R={h1, bi,h2, bi,h2, ci,h3, ai,h3, bi,h3, ci}

R−1={ha,1i,hc,1i,ha,2i}

(14)

Relations

notion of a relation can be generalized to dependencies of higher arity

examples for ternary relations: “between”, “are parents of”, ...

formally: an n-ary relation is a set of n-tuples

R⊆A1× · · · ×An

(15)

Functions

functions: special kind of relations

f ⊆A×B is a function iffeveryelement of Ais paired with exactly oneelement of B.

examples:

A={a, b, c}and B={1,2,3,4}

functions:

P = {ha,1i,hb,2i,hc,3i}

Q = {ha,3i,hb,4i,hc,1i}

R = {ha,3i,hb,2i,hc,2i}

no functions:

S = {ha,1i,hb,2i}

T = {ha,2i,hb,3i,ha,3i,hc,1i}

V = {ha,2i,ha,3i,hb,4i}

(16)

Functions

notations and writing conventions:

we frequently used the lettersf, g, F, G, H etc. for functions

f :AB means “f is a function andf A×B”

f(a) =b (or also:f :a7→b) is shorthand for “ha, bi ∈f

elements of the domain are calledarguments of the function

elements of the range are calledvaluesof the function

f is calledsurjective (or “onto”) iff every element ofB is paired with at least one argument, i.e.π1[f] =B.

f is calledinjective (or “1-1”) if every element ofB is paired with at most one argument.

f is calledbijective (oder “1-1 onto”), if it is injective and surjective.

The functionf is bijective iff f−1 is also a function. In this case,

(17)

Functions

Functions are frequently defined via some rule that enables us to find the value for each argument.

examples:

f(x) =x+ 2

g(x) =x2

h(x) = 3x2+ 2x+ 1

To decide which functions are defined here, we need to know the domain and the range.

Question: Under what conditions do these rules define injective, surjective and/or bijective functions?

(18)

Functions of higher arity

Domain of a function may be a relation

examples:

A={1,2},B={a, b},C={α, β}

F :A×BC

F ={h1, a, αi,h1, b, αi,h2, a, βi,h2, b, αi}

Instead of F(h1, ai) etc. we usually writeF(1, a) etc.

If the domain of a function is an n-ary relation, we speak of an n-ary function.

Note: n-ary functions are n+ 1-ary relations!

Referenzen

ÄHNLICHE DOKUMENTE

Many relations that are used in linguistic applications have certain structural properties.. The most important ones are briefly discussed here; the apply to relations on a given

An ordering is linear (or total) iff it is connected.. If an ordering R is not linear, there are two elements a and b such that neither R(a, b) nor

• in each derivation step, only the substring that corresponds to the right hand side of the rule applied is written into the next line, and.. • all new new symbols are connected by

• Per temporal unit, the automaton reads a symbol α on the input tape and moves along an arrow with the label α towards a new state. • If the automaton is in a final state after

• Regular languages are closed under the deletion of single elements from Σ: If I delete all occurrences of a given symbol.. — let’s say a — in all words of a regular language L,

• mildly context-sensitive grammars: family of grammar formalisms that are only slightly more powerful than type-2 grammars, but are able to express crossing dependencies. •

direct extension of natural deduction for statement logic four new rules: one introduction rule and one. elimination rule for

two-valued semantics (every statement is either true or false) there is a sound and complete syntactic description of logical inference; there are several systems of syntactic