{"title":"不连续函数的三种拓扑可约性","authors":"A. Day, R. Downey, L. Westrick","doi":"10.1090/btran/115","DOIUrl":null,"url":null,"abstract":"We define a family of three related reducibilities, $\\leq_T$, $\\leq_{tt}$ and $\\leq_m$, for arbitrary functions $f,g:X\\rightarrow\\mathbb R$, where $X$ is a compact separable metric space. The $\\equiv_T$-equivalence classes mostly coincide with the proper Baire classes. We show that certain $\\alpha$-jump functions $j_\\alpha:2^\\omega\\rightarrow \\mathbb R$ are $\\leq_m$-minimal in their Baire class. Within the Baire 1 functions, we completely characterize the degree structure associated to $\\leq_{tt}$ and $\\leq_m$, finding an exact match to the $\\alpha$ hierarchy introduced by Bourgain and analyzed by Kechris and Louveau.","PeriodicalId":377306,"journal":{"name":"Transactions of the American Mathematical Society, Series B","volume":"34 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2019-06-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"5","resultStr":"{\"title\":\"Three topological reducibilities for discontinuous functions\",\"authors\":\"A. Day, R. Downey, L. Westrick\",\"doi\":\"10.1090/btran/115\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We define a family of three related reducibilities, $\\\\leq_T$, $\\\\leq_{tt}$ and $\\\\leq_m$, for arbitrary functions $f,g:X\\\\rightarrow\\\\mathbb R$, where $X$ is a compact separable metric space. The $\\\\equiv_T$-equivalence classes mostly coincide with the proper Baire classes. We show that certain $\\\\alpha$-jump functions $j_\\\\alpha:2^\\\\omega\\\\rightarrow \\\\mathbb R$ are $\\\\leq_m$-minimal in their Baire class. Within the Baire 1 functions, we completely characterize the degree structure associated to $\\\\leq_{tt}$ and $\\\\leq_m$, finding an exact match to the $\\\\alpha$ hierarchy introduced by Bourgain and analyzed by Kechris and Louveau.\",\"PeriodicalId\":377306,\"journal\":{\"name\":\"Transactions of the American Mathematical Society, Series B\",\"volume\":\"34 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2019-06-18\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"5\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Transactions of the American Mathematical Society, Series B\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1090/btran/115\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Transactions of the American Mathematical Society, Series B","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1090/btran/115","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
Three topological reducibilities for discontinuous functions
We define a family of three related reducibilities, $\leq_T$, $\leq_{tt}$ and $\leq_m$, for arbitrary functions $f,g:X\rightarrow\mathbb R$, where $X$ is a compact separable metric space. The $\equiv_T$-equivalence classes mostly coincide with the proper Baire classes. We show that certain $\alpha$-jump functions $j_\alpha:2^\omega\rightarrow \mathbb R$ are $\leq_m$-minimal in their Baire class. Within the Baire 1 functions, we completely characterize the degree structure associated to $\leq_{tt}$ and $\leq_m$, finding an exact match to the $\alpha$ hierarchy introduced by Bourgain and analyzed by Kechris and Louveau.