Fungsi penunjuk

Dalam matematik, fungsi penunjuk atau fungsi ciri subset A bagi set X ialah fungsi yang ditakrifkan daripada X kepada set dua unsur. $\{0,1\}$, biasanya dilambangkan sebagai $\mathbf {1} _{A}\colon X\to \{0,1\}$, dan ia menunjukkan sama ada unsur dalam X kepunyaan A ; $\mathbf {1} _{A}(x)=1$ jika unsur $x$ dalam X kepunyaan A, dan $\mathbf {1} _{A}(x)=0$ jika $x$ bukan milik A Ia juga dilambangkan dengan $I_{A}$ untuk menekankan fakta bahawa fungsi ini mengenal pasti subset A bagi X.

Plot tiga dimensi bagi fungsi penunjuk, ditunjukkan pada domain dua dimensi segi empat sama (set X): bahagian "dinaikkan" menindih titik dua dimensi yang merupakan ahli subset "ditunjukkan" (A).

Dalam konteks lain, seperti sains komputer, ini akan lebih kerap digambarkan sebagai fungsi predikat boolean (untuk menguji kemasukan set).

Fungsi Dirichlet ialah contoh fungsi penunjuk dan merupakan penunjuk rasional.

Sumber

• Folland, G.B. (1999). Real Analysis: Modern Techniques and Their Applications (ed. Second). John Wiley & Sons, Inc. ISBN 978-0-471-31716-6.
• Cormen, Thomas H.; Leiserson, Charles E.; Rivest, Ronald L.; Stein, Clifford (2001). "Section 5.2: Indicator random variables". Introduction to Algorithms (ed. Second). MIT Press and McGraw-Hill. m/s. 94–99. ISBN 978-0-262-03293-3.
• Davis, Martin, penyunting (1965). The Undecidable. New York, NY: Raven Press Books.
• Kleene, Stephen (1971) [1952]. Introduction to Metamathematics (ed. Sixth reprint, with corrections). Netherlands: Wolters-Noordhoff Publishing and North Holland Publishing Company.
• Boolos, George; Burgess, John P.; Jeffrey, Richard C. (2002). Computability and Logic. Cambridge UK: Cambridge University Press. ISBN 978-0-521-00758-0.
• Templat:Cite q
• Goguen, Joseph (1967). "L-fuzzy sets". Journal of Mathematical Analysis and Applications. 18 (1): 145–174. doi:10.1016/0022-247X(67)90189-8. hdl:10338.dmlcz/103980.