Triple bar

matematik og filosofirediger

i logik bruges den med to forskellige, men relaterede betydninger. Det kan henvise til hvis og kun hvis bindevæv, også kaldet materialeækvivalens. Dette er en binær operation, hvis værdi er sand, når dens to argumenter har samme værdi som hinanden. Alternativt bruges i nogle tekster med denne betydning, mens der bruges til det højere niveau metalogiske begreb om logisk ækvivalens, ifølge hvilken to formler er logisk ækvivalente, når alle modeller giver dem den samme værdi. Gottlob Frege brugte en tredobbelt bjælke til en mere filosofisk forestilling om identitet, hvor to udsagn (ikke nødvendigvis i matematik eller formel logik) er identiske, hvis de frit kan erstattes af hinanden uden ændring af mening.

i matematik bruges den tredobbelte bjælke undertiden som et symbol på identitet eller en ækvivalensrelation (skønt ikke den eneste; andre almindelige valg inkluderer ~ og kr.). Især i geometri kan det bruges enten til at vise, at to figurer er kongruente, eller at de er identiske. I talteori er det blevet brugt begyndende med Carl Friedrich Gauss (som først brugte det med denne betydning i 1801) for at betyde modulær kongruens: en kur b ( mod N ) {\displaystyle A\ækvivalent b{\pmod {N}}}

a \ækvivalent b \pmod N

hvis N deler a − b. Det bruges også til “identisk lighed” af funktioner; man skriver f L. g {\displaystyle F\ækvivalent g}

f \ækvivalent g

for to funktioner f, g Hvis vi har f ( h ) = g ( h ) {\displaystyle F(H)=G(H)}

F(H) = G(H)

for alle. i kategoriteori kan tredobbelte søjler bruges til at forbinde objekter i et kommutativt diagram, hvilket indikerer, at de faktisk er det samme objekt snarere end at være forbundet med en pil i kategorien.

Dette symbol bruges også undertiden i stedet for et lighedstegn for ligninger, der definerer symbolet på venstre side af ligningen, for at kontrastere dem med ligninger, hvor udtrykkene på begge sider af ligningen allerede var defineret. En alternativ notation til denne brug er at skrive bogstaverne “def” over et almindeligt ligestillingstegn, a = d e f b {\displaystyle a{\overset {\underset {\mathrm {def}} {}} {}} {=}} b}

{\displaystyle a {\overset {\underset {\mathrm {def}} {}} {{=}} b}

{\displaystyle a {\overset {\underset {\mathrm {def}} {}} { = }} b}

.

ScienceEdit

i Botanisk nomenklatur betegner den tredobbelte bjælke homotypiske synonymer (dem, der er baseret på samme type prøve) for at skelne dem fra heterotypiske synonymer (dem, der er baseret på forskellige typeprøver), som er markeret med et lighedstegn.

i kemi kan den tredobbelte bjælke bruges til at repræsentere en tredobbelt binding mellem atomer. For eksempel er HC-kur CH en almindelig stenografi for acetylen (systematisk navn: ethyne).

Application designEdit

Se også: Hamburger button

i mobil -, internet-og generel applikationsdesign bruges et lignende symbol undertiden som et interfaceelement, hvor det kaldes et hamburgerikon. Elementet indikerer typisk, at der kan åbnes en navigationsmenu, når elementet er aktiveret; symbolets søjler kan ses som stiliserede menupunkter, og nogle variationer af disse symboler tilføjer flere søjler eller kuglepunkter til hver bjælke for at forbedre denne visuelle lighed. Brugen af dette symbol går tilbage til de tidlige computergrænseflader, der blev udviklet på PARC i 1980 ‘ erne. det ligner også det ikon, der ofte bruges til at indikere berettiget tekstjustering. Det er en ofte brugt komponent i Googles retningslinjer for materialedesign, og mange Android-apps og internetapps, der følger disse retningslinjer, bruger hamburger-menuen.

Related Posts

Skriv et svar

Din e-mailadresse vil ikke blive publiceret. Krævede felter er markeret med *