{"title":"Radon-Nikodym导数的可计算性","authors":"M. Hoyrup, Cristobal Rojas, K. Weihrauch","doi":"10.3233/COM-2012-005","DOIUrl":null,"url":null,"abstract":"We show that a single application of the noncomputable operator EC, which transforms enumerations of sets (in N) to their characteristic functions, suffices to compute the Radon-Nikodym derivative dµ/dλ of a finite measure µ, which is absolutely continuous w.r.t. the σ-finite measure λ. We also give a condition on the two measures (in terms of computability of the norm of a certain linear operator involving the two measures) which is sufficient to compute the derivative.","PeriodicalId":53933,"journal":{"name":"De Computis-Revista Espanola de Historia de la Contabilidad","volume":"47 1","pages":"132-141"},"PeriodicalIF":0.2000,"publicationDate":"2011-06-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"37","resultStr":"{\"title\":\"Computability of the Radon-Nikodym Derivative\",\"authors\":\"M. Hoyrup, Cristobal Rojas, K. Weihrauch\",\"doi\":\"10.3233/COM-2012-005\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We show that a single application of the noncomputable operator EC, which transforms enumerations of sets (in N) to their characteristic functions, suffices to compute the Radon-Nikodym derivative dµ/dλ of a finite measure µ, which is absolutely continuous w.r.t. the σ-finite measure λ. We also give a condition on the two measures (in terms of computability of the norm of a certain linear operator involving the two measures) which is sufficient to compute the derivative.\",\"PeriodicalId\":53933,\"journal\":{\"name\":\"De Computis-Revista Espanola de Historia de la Contabilidad\",\"volume\":\"47 1\",\"pages\":\"132-141\"},\"PeriodicalIF\":0.2000,\"publicationDate\":\"2011-06-27\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"37\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"De Computis-Revista Espanola de Historia de la Contabilidad\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.3233/COM-2012-005\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"De Computis-Revista Espanola de Historia de la Contabilidad","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.3233/COM-2012-005","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
We show that a single application of the noncomputable operator EC, which transforms enumerations of sets (in N) to their characteristic functions, suffices to compute the Radon-Nikodym derivative dµ/dλ of a finite measure µ, which is absolutely continuous w.r.t. the σ-finite measure λ. We also give a condition on the two measures (in terms of computability of the norm of a certain linear operator involving the two measures) which is sufficient to compute the derivative.