Function application

This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.
Find sources: "Function application" – news · newspapers · books · scholar · JSTOR (February 2024) (Learn how and when to remove this message)

In mathematics, function application is the act of applying a function to an argument from its domain so as to obtain the corresponding value from its range.^[1] In this sense, function application can be thought of as the opposite of function abstraction.

Representation

Function application is usually depicted by juxtaposing the variable representing the function with its argument encompassed in parentheses. For example, the following expression represents the application of the function ƒ to its argument x.

f(x)

In some instances, a different notation is used where the parentheses aren't required, and function application can be expressed just by juxtaposition. For example, the following expression can be considered the same as the previous one:

f\;x

The latter notation is especially useful in combination with the currying isomorphism. Given a function $f:(X\times Y)\to Z$ , its application is represented as $f(x,y)$ by the former notation and $f\;(x,y)$ (or $f\;\langle x,y\rangle$ with the argument $\langle x,y\rangle \in X\times Y$ written with the less common angle brackets) by the latter. However, functions in curried form $f:X\to (Y\to Z)$ can be represented by juxtaposing their arguments: $f\;x\;y$ , rather than $f(x)(y)$ . This relies on function application being left-associative.

Set theory

In axiomatic set theory, especially Zermelo–Fraenkel set theory, a function $f:X\mapsto Y$ is often defined as a relation ( $f\subseteq X\times Y$ ) having the property that, for any $x\in X$ there is a unique $y\in Y$ such that $(x,y)\in f$ .

One is usually not content to write " $(x,y)\in f$ " to specify that $y$ , and usually wishes for the more common function notation " $f(x)=y$ ", thus function application, or more specifically, the notation " $f(x)$ ", is defined by an axiom schema. Given any function $f$ with a given domain $X$ and codomain $Y$ :^[2]^[3]

$\forall x\in X,\forall y\in Y(f(x)=y\iff$ $\exists !z\in Y((x,z)\in f)\,\land \,(x,y)\in f)$

Stating "For all $x$ in $X$ and $y$ in $Y$ , $f(x)$ is equal to $y$ if and only if there is a unique $z$ in $Y$ such that $(x,z)$ is in $f$ and $(x,y)$ is in $f$ ".

As an operator

Function application can be trivially defined as an operator, called apply or $\$$ , by the following definition:

f\mathop {\,\$\,} x=f(x)

The operator may also be denoted by a backtick (`).

If the operator is understood to be of low precedence and right-associative, the application operator can be used to cut down on the number of parentheses needed in an expression. For example;

f(g(h(j(x))))

can be rewritten as:

f\mathop {\,\$\,} g\mathop {\,\$\,} h\mathop {\,\$\,} j\mathop {\,\$\,} x

However, this is perhaps more clearly expressed by using function composition instead:

(f\circ g\circ h\circ j)(x)

or even:

(f\circ g\circ h\circ j\circ x)()

if one considers $x$ to be a constant function returning $x$ .

Other instances

Function application in the lambda calculus is expressed by β-reduction.

The Curry–Howard correspondence relates function application to the logical rule of modus ponens.

References

^ Alama, Jesse; Korbmacher, Johannes (2023), "The Lambda Calculus", in Zalta, Edward N.; Nodelman, Uri (eds.), The Stanford Encyclopedia of Philosophy (Winter 2023 ed.), Metaphysics Research Lab, Stanford University, retrieved 2024-02-29
^ Suppes, Patrick (1972). Axiomatic set theory. Internet Archive. New York, Dover Publications. p. 87. ISBN 978-0-486-61630-8.
^ Mendelson, Elliott (1964). Introduction to mathematical logic. Internet Archive. Princeton, N.J., Van Nostrand. p. 82. ISBN 978-0-442-05300-0.

This mathematical analysis–related article is a stub. You can help Wikipedia by expanding it.

Read other articles:

Psikologi pendidikan

Psikologi perkembangan adalah studi ilmiah tentang bagaimana dan mengapa manusia berubah selama hidupnya. Awalnya berkaitan dengan bayi dan anak-anak, bidang ini telah diperluas untuk mencakup masa remaja, perkembangan dewasa, penuaan, dan seluruh umur. Psikologi pendidikan adalah cabang dari ilmu psikologi yang mengkhususkan diri pada cara memahami pengajaran dan pembelajaran dalam lingkungan pendidikan.[1] Studi mengenai proses pembelajaran, baik dari sudut pandang kognitif maupun p...

Perusahaan multinasional

Artikel ini tidak memiliki referensi atau sumber tepercaya sehingga isinya tidak bisa dipastikan. Tolong bantu perbaiki artikel ini dengan menambahkan referensi yang layak. Tulisan tanpa sumber dapat dipertanyakan dan dihapus sewaktu-waktu.Cari sumber: Perusahaan multinasional – berita · surat kabar · buku · cendekiawan · JSTOR Perusahaan multinasional atau PMN adalah perusahaan yang ber-usaha di banyak negara; perusahaan ini biasanya sangat besar. Per...

Playwrights Horizons

Playwrights HorizonsAlamat416 West 42nd St.New York City, New YorkAmerika SerikatPemilikPlaywrights Horizon, Inc.TipeOff-BroadwayKapasitasMainstage: 198Peter Jay Sharp: 128Situs webwww.playwrightshorizons.org Playwrights Horizons adalah sebuah teater Off-Broadway nirlaba yang terletak di New York City. Teater tersebut didedikasikan untuk mendukung dan mengembangkan para pengarang drama, komponis, dan pembuat lirik Amerika, dan produksi dari karya baru mereka. Referensi Pranala luar Wikimedia ...

Jussie Smollett hate crime hoax

2019 hate crime hoax Jussie Smollett in 2016 On January 29, 2019, American actor Jussie Smollett approached the Chicago Police Department and reported a hate crime that he had staged earlier that morning.[1][2] He planned the hate crime with two Nigerian brothers, Abimbola and Olabinjo Osundairo, who had worked as extras on the set of television drama Empire, in which Smollett was a cast member. During the staged attack, which took place on East Lower North Water Street in Chi...

Erina Ikuta

Erina Ikuta生田衣梨奈Informasi latar belakangNama lainEriponLahir7 Juli 1997Asal Fukuoka, JepangGenreJ-popPekerjaanPenyanyi, penariTahun aktif2011–sekarangLabelZetima,Artis terkaitMorning Musume, Oha Girl Maple, Hello! Project MobekimasuSitus webHello! Project.com Erina Ikuta (生田衣梨奈code: ja is deprecated , Ikuta Erina, lahir 7 Juli 1997) adalah seorang penyanyi pop dan penari Jepang di bawah Hello! Project. Dia adalah anggota generasi kesembilan dari grup pop Jepang Morning ...

Nicolae Paulescu

Romanian academic Nicolae PaulescuNicolae Paulescu in Paris in 1897Born(1869-10-30)30 October 1869Bucharest, United Principalities of Moldavia and WallachiaDied17 July 1931(1931-07-17) (aged 61)Bucharest, Kingdom of RomaniaResting placeBellu Cemetery, BucharestAlma materUniversity of ParisKnown forDiscovery of an antidiabetic hormone released by the pancreas, later called insulinScientific careerFieldsMedicineInstitutionsCarol Davila University of Medicine and Pharmacy Nicolae ...

Gereja Kristen Injili di Indonesia

Artikel ini perlu diwikifikasi agar memenuhi standar kualitas Wikipedia. Anda dapat memberikan bantuan berupa penambahan pranala dalam, atau dengan merapikan tata letak dari artikel ini. Untuk keterangan lebih lanjut, klik [tampil] di bagian kanan. Mengganti markah HTML dengan markah wiki bila dimungkinkan. Tambahkan pranala wiki. Bila dirasa perlu, buatlah pautan ke artikel wiki lainnya dengan cara menambahkan [[ dan ]] pada kata yang bersangkutan (lihat WP:LINK untuk keterangan lebih lanjut...

Always on My Mind

Popular ballad written by Wayne Carson, Mark James, and Johnny Christopher For other uses, see Always on My Mind (disambiguation). You Were Always on My MindSingle by Gwen McCraeA-sideHe's Not YouReleasedMarch 28, 1972LabelColumbiaSongwriter(s) Wayne Carson Mark James Johnny Christopher Producer(s)Steve AlaimoAudioGwen McCrae - You Were Always On My Mind on YouTube Always on My MindSingle by Brenda Leefrom the album Brenda B-sideThat Ain't RightReleasedJune 1972StudioAmerican Sound (Memphis, ...

Crunch (exercise)

Abdominal exercise Performing the crunch The crunch is an abdominal exercise that works the rectus abdominis muscle.[1] It enables both building six-pack abs and tightening the belly. Crunches use the exerciser's own body weight to tone muscle and are recommended by some experts[like whom?], despite negative research results[citation needed], as a low-cost exercise that can be performed at home.[2] Crunches are less effective than other exercises such as planks...

Hiu karang sirip hitam

Hiu karang sirip hitam Carcharhinus melanopterus Rekaman dan Status konservasiRentanIUCN39375 TaksonomiKerajaanAnimaliaFilumChordataKelasChondrichthyesOrdoCarcharhiniformesFamiliCarcharhinidaeGenusCarcharhinusSpesiesCarcharhinus melanopterus Quoy dan Gaimard, 1824 Distribusi lbs Hiu karang sirip hitam (Carcharhinus melanopterus) merupakan salah satu jenis hiu yang termasuk dalam famili Carcharhinidae. Spesies ini dikenal dengan nama blacktip reef shark. Spesies hiu ini memiliki beberapa nama ...

Another Public Enemy

Another Public EnemyPoster untuk Another Public EnemyNama lainHangul공공의 적2 Hanja公共의 敵2 Alih Aksara yang DisempurnakanGonggongui jeok 2McCune–ReischauerKonggongŭi chŏk 2 SutradaraKang Woo-sukProduserKang Woo-sukDitulis olehKim Hee-jaePemeranSol Kyung-guJung Joon-hoPenata musikHan Jae-kwonSinematograferKim Seong-bokPenyuntingKo Im-pyoDistributorCinema ServiceTanggal rilis 27 Januari 2005 (2005-01-27) Durasi148 menitNegaraKorea SelatanBahasaKoreaPendapatankot...

Fernando José de França Dias Van Dúnem

Van Dúnem, 1980 Fernando José de França Dias Van Dúnem (* 24. August 1934; † 12. Juni 2024 in Lissabon) war ein angolanischer Hochschullehrer, Diplomat und Politiker der Movimento Popular de Libertação de Angola (MPLA), der unter anderem zwischen 1991 und 1992 sowie erneut von 1996 bis 2002 Premierminister Angolas war. Leben Fernando José de França Dias Van Dúnem absolvierte ein Studium der Rechtswissenschaften und erwarb einen Doktor im Fach Öffentliches Recht an der Universität...

Buffalo County, South Dakota

County in South Dakota, United States Not to be confused with Buffalo, South Dakota. County in South DakotaBuffalo CountyCountyFort Thompson Big Bend Dam.Location within the U.S. state of South DakotaSouth Dakota's location within the U.S.Coordinates: 44°05′N 99°12′W / 44.08°N 99.2°W / 44.08; -99.2Country United StatesState South DakotaFounded1864 (created)1871 (organized)Named forAmerican buffaloSeatGann ValleyLargest communityFort ThompsonArea ...

1934 FIFA World Cup

Association football tournament in Italy 1934 FIFA World CupWorld's Cup[1]Campionato Mondiale di CalcioItalia 1934 (Italian)Official posterTournament detailsHost countryItalyDates27 May – 10 JuneTeams16 (from 4 confederations)Venue(s)8 (in 8 host cities)Final positionsChampions Italy (1st title)Runners-up CzechoslovakiaThird place GermanyFourth place AustriaTournament statisticsMatches played17Goals scored70 (4.12 per match)Attendance363,...

Fort Laurens

This article lacks inline citations besides NRIS, a database which provides minimal and sometimes ambiguous information. Please help ensure the accuracy of the information in this article by providing inline citations to additional reliable sources. (March 2019) (Learn how and when to remove this message) For the British colonial Fort Lawrence, see Fort Lawrence (Nova Scotia). United States historic placeFort Laurens SiteU.S. National Register of Historic Places Southwest bastion outline in g...

رقم الضبط في مكتبة الكونغرس

رقم الضبط في مكتبة الكونغرس نوع من معرف منشور [لغات أخرى]‏[1]، وملف الضبط الاستنادي [لغات أخرى]‏[1] رقم الضبط في مكتبة الكونغرس[2] المعروفة بالرموز LCCN هو نظام يعتمد الأرقام المتسلسلة لفهرسة الكتب في مكتبة الكونغرس. وهو غير مرتبط بنظام ت�...

جيني مكارثي

جيني مكارثي معلومات شخصية اسم الولادة جنيفر انن مكارثي الميلاد 1 نوفمبر 1972 (العمر 51 سنة)إلينوي الإقامة لوس أنجلوس الجنسية أمريكا لون الشعر شعر أشقر الطول 170 سنتيمتر الوزن 54 كيلوغرام الديانة البوذية[1]، وكاثوليكية[2] الزوج جون مالوري آشر (ز.1999-ط.2005)�...

Lyceus

For other uses, see Lycian (disambiguation). A statue of the Apollo Lykeios type at the Louvre The Apollo Lyceus (Greek: Ἀπόλλων Λύκειος, Apollōn Lukeios) type, also known as Lycean Apollo, originating with Praxiteles[1] and known from many full-size statue and figurine copies as well as from 1st century BCE Athenian coinage, is a statue type of Apollo showing the god resting on a support (a tree trunk or tripod), his right forearm touching the top of his head and his ...

Toriko

TorikoGambar sampul manga volume pertamaトリコGenrePetualangan, komedi, fantasi[1] MangaPengarangMitsutoshi ShimabukuroPenerbitShueishaPenerbit bahasa InggrisAUS Madman EntertainmentNA Viz MediaPenerbit bahasa IndonesiaElex Media KomputindoImprintJump ComicsMajalahWeekly Shōnen JumpMajalah bahasa InggrisNA Weekly Shonen JumpDemografiShōnenTerbit19 Mei 2008 – 21 November 2016Volume43 (Daftar volume) Film animeSutradaraMitsuru ObunaiSkenarioMasaki HiramatsuStudioUfotableTayang12 ...

The Boat Race 1995

The Boat Race 1995 Jadwal 1 April 1995 Balapan putra Juara Cambridge Selisih 4 lengths Catatan waktu 18 menit 4 detik Total kemenangan Cambridge-Oxford 72 - 68 Wasit Balapan lainnya Juara putri Cambridge Juara cadangan Goldie Balapan sebelumnya 1994 Balapan selanjutnya 1996 The Boat Race ke-141 diselenggarakan pada 1 April 1995. Ajang olahraga tahunan ini melombakan cabang olahraga dayung berdampingan antara dua tim dari Universitas Oxford dan Universitas Cambridge di jalur Sungai Thames. Ca...

PROFILPELAJAR.COM