A remark on the definition of the Kurzweil-Henstock integral (Q851081)

The author makes a simple modification in the definition of the Kurzweil-Henstock integral so as to remove the repetitive arguments found in dealing with assumptions that are satisfied nearly everywhere, that is except for a countable set. He does this by introducing what is called a countably closed gauge, a nonnegative function \( \eta\) whose zeros form a countable set. A tagged partial division is then \( \eta\)-fine if the tags are not at the zeros of \( \eta \) and the usual inequality holds. The integral defined this way is shown to be equivalent to the Kurzweil-Henstock integral. It is then immediate that two functions that are equal nearly everywhere are Kurzweil-Henstock integral together. Another example is given involving the fundamental theorem of calculus in which \(F'=f\) nearly everywhere.