Matematiikan kandia kirjoittaessa aloin pohtimaan, kumpiko seuraavista on kieliopillisesti oikein:
Olkoon K kunta ja E, F kaksi K:n laajennusta.
1. Tällöin on olemassa K-isomorfismi u:E->F.
vai
2. Tällöin on olemassa K–isomorfismi u:E->F.
Kumpikin on tietysti matemaattisessa mielessä aika hyödyttömiä lauseita, mutta kuinka pitkä viivan tulee olla? Ja tiedän, että -> tulee latoa LaTeXissa \to eikä ->.
Olkoon K kunta ja E, F kaksi K:n laajennusta.
1. Tällöin on olemassa K-isomorfismi u:E->F.
vai
2. Tällöin on olemassa K–isomorfismi u:E->F.
Kumpikin on tietysti matemaattisessa mielessä aika hyödyttömiä lauseita, mutta kuinka pitkä viivan tulee olla? Ja tiedän, että -> tulee latoa LaTeXissa \to eikä ->.
Vastaukset 4
Vanhimmat
Minä kirjoittaisin ”K-isomorfismi”, en ”K–isomorfismi”.
Kaikki eivät välttämättä näe noissa mitään eroa.
Asian vierestä: Wordin oletusasetuksilla sanan aloittavasta yhdysmerkistä tulee ajatusviivan pituinen eli liian pitkä. Tämä on väärin; asetukset kannattaa noilta(kin) osin muuttaa. Liian usein näkee tekstiä, jossa muutosta ei ole rohjettu tehdä.
Kirjoittaisin myös ”aloin pohtia”, en ”aloin pohtimaan”
sekä
”ovat hyödyttömiä lauseita”, en ”on hyödyttömiä lauseita”.
Olen ottanut opintokirjaani matematiikan appro-kurssien alkumerkintöjä joskus 38 vuotta sitten, mutta siihenpä se tiede saikin osaltani jäädä. Matematiikalla ei ollut annettavaa minulle eikä minulla matematiikalle.
Kirjoittaisin ”Kumpikin on hyödytön lause”, en ”Kumpikin ovat hyödyttömiä lauseita".
Tarkemmin ajatellen minäkin kirjoittaisin joko
”kumpikin on hyödytön lause”
tai
”molemmat ovat hyödyttömiä lauseita”.
Kiitos huomautuksestasi!
Olet jo saanut hyviä vastauksia, myös kysymyksiin, joita et esittänyt. Tässä vielä yksi: ”Olkoon K kunta ja E, F kaksi K:n laajennusta” ei ole hyvää suomea. ”Olkoon” on yksiköllinen, eikä pilkkua pidä käytettämän ja-sanan sijasta kuin luetteloissa, joissa on vähintään kolme jäsentä. Oikeammin: ”Olkoon K kunta, ja olkoot E ja F sen laajennuksia.”
Tai sitten sujuvammin − jos professori sallii − nykysuomeksi: ”Oletetaan, että K on kunta ja että E ja F ovat sen laajennuksia.”